Skip to content

Activity

fix: also pin rocq-runtime.opam

erikmdpushed 1 commit to master • 70e7b85…169ce29 • 
16 days ago

feat: Rebuild after merging coq/opam#3253

erikmdpushed 1 commit to master • d4b1f8d…70e7b85 • 
22 days ago

feat: Rebuild after merging coq/opam#3246

erikmdpushed 1 commit to master • b5fe3a7…d4b1f8d • 
27 days ago

hotfix(docker-rocq): s/coq-stdlib/rocq-core/

erikmdpushed 1 commit to master • 87789f1…b5fe3a7 • 
29 days ago

docs(README.md): Add TODO, FTR

erikmdpushed 1 commit to master • b9ce6d9…87789f1 • 
on Oct 31, 2024

Deleted branch

erikmddeleted rocq-dev • 
on Oct 31, 2024

feat: Enable CD -> rocq/rocq-prover (#1)

Pull request merge
erikmdpushed 1 commit to master • 2faa5cd…b9ce6d9 • 
on Oct 31, 2024

feat: Enable CD -> rocq/rocq-prover

Force push
erikmdforce pushed to rocq-dev • 1c55154…e46c187 • 
on Oct 31, 2024

feat: Enable CD -> rocq/rocq-prover

Force push
erikmdforce pushed to rocq-dev • e4a4fff…1c55154 • 
on Oct 31, 2024

feat: Enable CD -> rocq/rocq-prover

Force push
erikmdforce pushed to rocq-dev • 7271b73…e4a4fff • 
on Oct 31, 2024

feat: Enable CD -> rocq/rocq-prover

erikmdcreated rocq-dev • 7271b73 • 
on Oct 31, 2024

Merge commit '9f4a4871563f76047891908bedd844eec38a9708' as 'external/…

erikmdcreated master • 2faa5cd • 
on Oct 25, 2024