Skip to content

Actions: mattam82/coq-opam-archive

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
66 workflow runs
66 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Dep on rocq-equations CI #66: Commit b2be1e9 pushed by mattam82
April 10, 2025 19:59 1m 17s metarocq-dev-packages
metarocq-dev-packages
April 10, 2025 19:59 1m 17s
MetaRocq dev packages CI #65: Commit 64df53c pushed by mattam82
April 10, 2025 19:57 1m 26s metarocq-dev-packages
metarocq-dev-packages
April 10, 2025 19:57 1m 26s
Add metarocq.dev opam packges CI #64: Commit b268862 pushed by mattam82
April 10, 2025 19:45 4m 43s metarocq-dev-packages
metarocq-dev-packages
April 10, 2025 19:45 4m 43s
Fix hashes of metacoq releases (previously broken due to use of MacOS… CI #63: Commit 44edec3 pushed by mattam82
April 3, 2025 15:05 1m 17s fix-metacoq-archives
fix-metacoq-archives
April 3, 2025 15:05 1m 17s
Remove old alpha/beta metacoq packages CI #62: Commit af525d3 pushed by mattam82
April 3, 2025 14:59 1m 38s fix-and-clean-metacoq-packages
fix-and-clean-metacoq-packages
April 3, 2025 14:59 1m 38s
Fix hashes of metacoq releases (previously broken due to use of MacOS… CI #61: Commit 0330dc2 pushed by mattam82
April 3, 2025 14:54 4m 39s fix-metacoq-archives
fix-metacoq-archives
April 3, 2025 14:54 4m 39s
Remove old alpha/beta metacoq packages CI #60: Commit 2fe009e pushed by mattam82
April 1, 2025 08:37 1m 22s fix-and-clean-metacoq-packages
fix-and-clean-metacoq-packages
April 1, 2025 08:37 1m 22s
Move metacoq 1.3.4+9.0 to released CI #59: Commit fc22496 pushed by mattam82
April 1, 2025 08:36 8m 35s move-metacoq-1.3.4
move-metacoq-1.3.4
April 1, 2025 08:36 8m 35s
Move metacoq 1.3.4+9.0 to released CI #58: Commit f41c6ae pushed by mattam82
April 1, 2025 08:34 1m 19s fix-and-clean-metacoq-packages
fix-and-clean-metacoq-packages
April 1, 2025 08:34 1m 19s
Remove old alpha/beta metacoq packages CI #57: Commit 2fe009e pushed by mattam82
April 1, 2025 08:23 4m 28s fix-and-clean-metacoq-packages
fix-and-clean-metacoq-packages
April 1, 2025 08:23 4m 28s
Link to hash-stable released tarballs in all non-alphas metacoq packages CI #56: Commit 65a16b9 pushed by mattam82
March 29, 2025 17:40 4m 31s metarocq-metacoq-tarballs
metarocq-metacoq-tarballs
March 29, 2025 17:40 4m 31s
Refine dependencies CI #55: Commit 5879e5f pushed by mattam82
March 26, 2025 11:01 1m 29s metarocq-1.4
metarocq-1.4
March 26, 2025 11:01 1m 29s
MetaRocq 1.4 for Rocq 9.0 release CI #54: Commit 34de123 pushed by mattam82
March 26, 2025 10:54 4m 33s metarocq-1.4
metarocq-1.4
March 26, 2025 10:54 4m 33s
MetaRocq 1.4 for Rocq 9.0 release CI #53: Commit 178ffb6 pushed by mattam82
March 26, 2025 10:54 4m 44s metarocq-1.4
metarocq-1.4
March 26, 2025 10:54 4m 44s
Improve deps of rocq-equations CI #52: Commit 7f1a9e5 pushed by mattam82
March 20, 2025 16:57 4m 31s improve-rocq-equations-deps
improve-rocq-equations-deps
March 20, 2025 16:57 4m 31s
Add post-messages as in the released 9.0 opam package to coq-core.9.0… CI #51: Commit 9e7805c pushed by mattam82
March 20, 2025 10:40 5m 15s add-post-messages
add-post-messages
March 20, 2025 10:40 5m 15s
MetaCoq 1.3.4 for Rocq 9.0 CI #50: Commit 60228d2 pushed by mattam82
January 29, 2025 17:27 4m 58s metacoq-1.3.4-rocq-9.0
metacoq-1.3.4-rocq-9.0
January 29, 2025 17:27 4m 58s
Fix rocq-equations.dev opam file CI #49: Commit 7fec868 pushed by mattam82
January 29, 2025 13:47 1m 36s rocq-equations.dev
rocq-equations.dev
January 29, 2025 13:47 1m 36s
Depend on coq compat packages as dune coq lang extension relies on them CI #48: Commit 3dcb369 pushed by mattam82
January 29, 2025 10:45 2m 27s rocq-equations.1.3.1+9.0
rocq-equations.1.3.1+9.0
January 29, 2025 10:45 2m 27s
Add dependency to coq, as dune relies on the coq compatibility packages CI #47: Commit d13b0fb pushed by mattam82
January 29, 2025 10:43 1m 30s rocq-equations.dev
rocq-equations.dev
January 29, 2025 10:43 1m 30s
rocq-equations.dev package CI #46: Commit d170aaa pushed by mattam82
January 29, 2025 10:16 4m 53s rocq-equations.dev
rocq-equations.dev
January 29, 2025 10:16 4m 53s
Fix dependency to disallow using on 9.0.dev package CI #45: Commit 794a61b pushed by mattam82
January 29, 2025 10:08 1m 28s rocq-equations.1.3.1+9.0
rocq-equations.1.3.1+9.0
January 29, 2025 10:08 1m 28s
Remove spurious package CI #44: Commit 4524b2b pushed by mattam82
January 29, 2025 10:00 5m 0s rocq-equations.1.3.1+9.0
rocq-equations.1.3.1+9.0
January 29, 2025 10:00 5m 0s
Fix compat package rocq-equations version dependency CI #43: Commit 2e2d4ba pushed by mattam82
January 29, 2025 09:59 4m 43s rocq-equations.1.3.1+9.0
rocq-equations.1.3.1+9.0
January 29, 2025 09:59 4m 43s
rocq-equations.1.3.1+9.0 coq-equations.1.3.1+9.0 CI #42: Commit 3d44868 pushed by mattam82
January 29, 2025 09:57 5m 50s rocq-equations.1.3.1+9.0
rocq-equations.1.3.1+9.0
January 29, 2025 09:57 5m 50s