tchajed/rocq-ci-test
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
No description
26 commits 1 branch 0 tags 42 KiB
  • Makefile 97.7%
  • Rocq Prover 2.3%
Find a file
Exact
Tej Chajed d7c28f0a30
 Revert "Install OCaml with apt-get" 
This reverts commit db74381b05.
2025-11-23 13:35:15 -06:00
.github/workflows Revert "Install OCaml with apt-get" 2025-11-23 13:35:15 -06:00
src Re-run CI again 2025-10-19 17:02:07 -05:00
.gitignore Add initial project setup 2025-10-19 13:17:43 -05:00
_CoqProject Add initial project setup 2025-10-19 13:17:43 -05:00
Makefile Use rocq binary 2025-10-19 14:53:22 -05:00
README.md Add README 2025-11-23 13:29:33 -06:00
rocq-ci-test.opam Use rocq as dependency 2025-10-19 16:58:48 -05:00
rocq-ci-test.opam.locked Update lockfile 2025-11-23 13:28:52 -06:00

README.md

rocq-ci-test

Building a Rocq package with pinned dependencies and caching in CI.

Creating lockfile

opam lock --direct-only .