Skip to content

Actions: rocq-prover/opam

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,133 workflow runs
1,133 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

coq-hol-light-real-with-nat: fix checksum CI #1858: Commit a25e4c7 pushed by fblanqui
April 11, 2025 12:46 8m 54s fix-checksum
fix-checksum
April 11, 2025 12:46 8m 54s
Merge pull request #3387 from silene/categories CI #1857: Commit ed177ea pushed by silene
April 11, 2025 12:15 1m 52s master
master
April 11, 2025 12:15 1m 52s
Homogenize categories. CI #1856: Pull request #3387 synchronize by silene
April 11, 2025 11:57 1m 26s silene:categories
silene:categories
April 11, 2025 11:57 1m 26s
Homogenize categories. CI #1855: Pull request #3387 opened by silene
April 11, 2025 08:57 1m 28s silene:categories
silene:categories
April 11, 2025 08:57 1m 28s
Merge pull request #3386 from yoshihiro503/yoshihiro503@rocqnavi CI #1854: Commit acbc0de pushed by palmskog
April 11, 2025 08:28 2m 50s master
master
April 11, 2025 08:28 2m 50s
🎉 The First Release of RocqNavi CI #1853: Pull request #3386 synchronize by yoshihiro503
April 11, 2025 08:04 2m 13s yoshihiro503:yoshihiro503@rocqnavi
yoshihiro503:yoshihiro503@rocqnavi
April 11, 2025 08:04 2m 13s
🎉 The First Release of RocqNavi CI #1852: Pull request #3386 synchronize by yoshihiro503
April 11, 2025 07:53 1m 28s yoshihiro503:yoshihiro503@rocqnavi
yoshihiro503:yoshihiro503@rocqnavi
April 11, 2025 07:53 1m 28s
🎉 The First Release of RocqNavi CI #1851: Pull request #3386 opened by yoshihiro503
April 11, 2025 07:31 1m 31s yoshihiro503:yoshihiro503@rocqnavi
yoshihiro503:yoshihiro503@rocqnavi
April 11, 2025 07:31 1m 31s
Merge pull request #3385 from mattam82/metarocq-dev-packages CI #1850: Commit e138fa0 pushed by mattam82
April 10, 2025 20:05 1m 47s master
master
April 10, 2025 20:05 1m 47s
Add metarocq.dev opam packges CI #1849: Pull request #3385 synchronize by mattam82
April 10, 2025 19:59 1m 38s mattam82:metarocq-dev-packages
mattam82:metarocq-dev-packages
April 10, 2025 19:59 1m 38s
Add metarocq.dev opam packges CI #1848: Pull request #3385 synchronize by mattam82
April 10, 2025 19:57 1m 27s mattam82:metarocq-dev-packages
mattam82:metarocq-dev-packages
April 10, 2025 19:57 1m 27s
Add metarocq.dev opam packges CI #1847: Pull request #3385 opened by mattam82
April 10, 2025 19:46 1m 29s mattam82:metarocq-dev-packages
mattam82:metarocq-dev-packages
April 10, 2025 19:46 1m 29s
Merge pull request #3384 from SkySkimmer/del-test-suite-dev CI #1846: Commit 12ded62 pushed by SkySkimmer
April 10, 2025 13:06 1m 42s master
master
April 10, 2025 13:06 1m 42s
Delete coq-test-suite.dev CI #1845: Pull request #3384 opened by SkySkimmer
April 10, 2025 13:06 1m 24s SkySkimmer:del-test-suite-dev
SkySkimmer:del-test-suite-dev
April 10, 2025 13:06 1m 24s
Merge pull request #3383 from aleksnanevski/master CI #1844: Commit 1d54749 pushed by palmskog
April 10, 2025 08:28 1m 40s master
master
April 10, 2025 08:28 1m 40s
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