Skip to content

Actions: rocq-prover/opam

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
1,121 workflow runs
1,121 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

added dev version for coq-htt and coq-htt-core CI #1843: Pull request #3383 opened by aleksnanevski
April 9, 2025 12:23 1m 25s aleksnanevski:master
aleksnanevski:master
April 9, 2025 12:23 1m 25s
added dev version for coq-htt and coq-htt-core CI #1842: Pull request #3382 synchronize by aleksnanevski
April 9, 2025 12:22 1m 33s aleksnanevski:master
aleksnanevski:master
April 9, 2025 12:22 1m 33s
added dev version for coq-htt and coq-htt-core CI #1841: Pull request #3382 opened by aleksnanevski
April 9, 2025 12:12 1m 34s aleksnanevski:master
aleksnanevski:master
April 9, 2025 12:12 1m 34s
Merge pull request #3381 from aleksnanevski/master CI #1840: Commit b02f39b pushed by palmskog
April 8, 2025 19:10 1m 46s master
master
April 8, 2025 19:10 1m 46s
changed coq-htt-core to work with rocq 9.0 CI #1839: Pull request #3381 synchronize by aleksnanevski
April 8, 2025 17:46 1m 30s aleksnanevski:master
aleksnanevski:master
April 8, 2025 17:46 1m 30s
changed coq-htt-core to work with rocq 9.0 CI #1838: Pull request #3381 opened by aleksnanevski
April 8, 2025 16:28 1m 24s aleksnanevski:master
aleksnanevski:master
April 8, 2025 16:28 1m 24s
Merge pull request #3380 from aleksnanevski/master CI #1837: Commit 44bd420 pushed by palmskog
April 8, 2025 15:52 1m 42s master
master
April 8, 2025 15:52 1m 42s
coq-fcsl-pcm and coq-htt work with roq-core 9.0 CI #1836: Pull request #3380 synchronize by aleksnanevski
April 8, 2025 13:54 1m 37s aleksnanevski:master
aleksnanevski:master
April 8, 2025 13:54 1m 37s
coq-fcsl-pcm and coq-htt work with roq-core 9.0 CI #1835: Pull request #3380 synchronize by aleksnanevski
April 8, 2025 13:54 1m 28s aleksnanevski:master
aleksnanevski:master
April 8, 2025 13:54 1m 28s
coq-fcsl-pcm and coq-htt work with roq-core 9.0 CI #1834: Pull request #3380 opened by aleksnanevski
April 8, 2025 13:25 2m 29s aleksnanevski:master
aleksnanevski:master
April 8, 2025 13:25 2m 29s
Merge pull request #3379 from proux01/mcdev CI #1833: Commit 3536aca pushed by proux01
April 4, 2025 13:22 1m 40s master
master
April 4, 2025 13:22 1m 40s
[extra-dev] Add rocq-mathcomp-* CI #1832: Pull request #3379 opened by proux01
April 4, 2025 10:41 1m 34s proux01:mcdev
proux01:mcdev
April 4, 2025 10:41 1m 34s
Merge pull request #3375 from mattam82/fix-and-clean-metacoq-packages CI #1831: Commit 796adbb pushed by mattam82
April 4, 2025 09:44 2m 22s master
master
April 4, 2025 09:44 2m 22s
Merge pull request #3378 from mattam82/fix-metacoq-archives CI #1830: Commit a6dd18b pushed by mattam82
April 4, 2025 09:44 2m 38s master
master
April 4, 2025 09:44 2m 38s
Fix hashes of metacoq releases CI #1829: Pull request #3378 synchronize by mattam82
April 3, 2025 15:05 1m 48s mattam82:fix-metacoq-archives
mattam82:fix-metacoq-archives
April 3, 2025 15:05 1m 48s
Fix and clean metacoq packages CI #1828: Pull request #3375 synchronize by mattam82
April 3, 2025 14:59 1m 33s mattam82:fix-and-clean-metacoq-packages
mattam82:fix-and-clean-metacoq-packages
April 3, 2025 14:59 1m 33s
Merge pull request #3376 from mattam82/move-metacoq-1.3.4 CI #1827: Commit 206cb95 pushed by mattam82
April 3, 2025 14:58 1m 39s master
master
April 3, 2025 14:58 1m 39s
Fix hashes of metacoq releases CI #1826: Pull request #3378 opened by mattam82
April 3, 2025 14:56 1m 28s mattam82:fix-metacoq-archives
mattam82:fix-metacoq-archives
April 3, 2025 14:56 1m 28s
Merge pull request #3377 from olaure01/ollibs CI #1825: Commit 9eb338c pushed by silene
April 3, 2025 12:44 2m 31s master
master
April 3, 2025 12:44 2m 31s
rocq-ollibs v2.0.8 CI #1824: Pull request #3377 synchronize by olaure01
April 3, 2025 09:58 1m 46s olaure01:ollibs
olaure01:ollibs
April 3, 2025 09:58 1m 46s
rocq-ollibs v2.0.8 CI #1823: Pull request #3377 synchronize by olaure01
April 3, 2025 08:51 1m 23s olaure01:ollibs
olaure01:ollibs
April 3, 2025 08:51 1m 23s
rocq-ollibs v2.0.8 CI #1822: Pull request #3377 opened by olaure01
April 3, 2025 07:08 1m 28s olaure01:ollibs
olaure01:ollibs
April 3, 2025 07:08 1m 28s
Fix and clean metacoq packages CI #1821: Pull request #3375 synchronize by mattam82
April 1, 2025 08:37 4m 41s mattam82:fix-and-clean-metacoq-packages
mattam82:fix-and-clean-metacoq-packages
April 1, 2025 08:37 4m 41s
Move metacoq 1.3.4+9.0 to released CI #1820: Pull request #3376 opened by mattam82
April 1, 2025 08:36 1m 38s mattam82:move-metacoq-1.3.4
mattam82:move-metacoq-1.3.4
April 1, 2025 08:36 1m 38s
Fix and clean metacoq packages CI #1819: Pull request #3375 synchronize by mattam82
April 1, 2025 08:34 2m 33s mattam82:fix-and-clean-metacoq-packages
mattam82:fix-and-clean-metacoq-packages
April 1, 2025 08:34 2m 33s