Skip to content

Actions: coq/rocq-prover.org

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
186 workflow runs
186 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

ELEVATED EXPERTISE -> ADVANCED LEVEL CI #88: Pull request #57 opened by gares
January 15, 2025 10:06 7m 13s gares-patch-1
gares-patch-1
January 15, 2025 10:06 7m 13s
Redirect refman / to index.html for any version. CI #87: Pull request #56 opened by Zimmi48
January 14, 2025 16:21 20m 18s redirect-refman
redirect-refman
January 14, 2025 16:21 20m 18s
Merge pull request #55 from coq/remove-outdated-redirects CI #86: Commit d901510 pushed by tabareau
January 14, 2025 15:40 8m 13s main
main
January 14, 2025 15:40 8m 13s
Remove leftover redirects from OCaml.org. CI #85: Pull request #55 opened by Zimmi48
January 14, 2025 14:57 8m 4s remove-outdated-redirects
remove-outdated-redirects
January 14, 2025 14:57 8m 4s
CI CI #84: Scheduled
January 13, 2025 02:15 7m 38s main
main
January 13, 2025 02:15 7m 38s
Allow configuring the local port to bind to in the Docker compose file. CI #83: Commit 8ef4089 pushed by mattam82
January 10, 2025 10:36 7m 24s main
main
January 10, 2025 10:36 7m 24s
Better case for Nicolas Tabareau CI #82: Commit 8b71f22 pushed by mattam82
January 10, 2025 09:15 7m 13s main
main
January 10, 2025 09:15 7m 13s
Update github teams CI #81: Commit afff6e8 pushed by mattam82
January 10, 2025 08:59 6m 36s main
main
January 10, 2025 08:59 6m 36s
Link to Mastodon account CI #80: Commit 58f5a78 pushed by mattam82
January 8, 2025 22:27 7m 34s main
main
January 8, 2025 22:27 7m 34s
Fix broken link CI #79: Commit 4252d94 pushed by tabareau
January 8, 2025 19:59 8m 8s main
main
January 8, 2025 19:59 8m 8s
Fix compose file CI #78: Commit dd5571d pushed by mattam82
January 8, 2025 14:55 7m 13s main
main
January 8, 2025 14:55 7m 13s
Fix compose file CI #77: Commit ae28134 pushed by mattam82
January 8, 2025 14:51 6m 38s main
main
January 8, 2025 14:51 6m 38s
Record git commit sha in image ENV and LABEL CI #76: Commit 339bf33 pushed by mattam82
January 8, 2025 14:41 9m 1s main
main
January 8, 2025 14:41 9m 1s
Improve Dockerfile order CI #75: Commit 3a75bba pushed by mattam82
January 7, 2025 09:52 6m 1s main
main
January 7, 2025 09:52 6m 1s
Add CertiK logos CI #74: Commit bcde50a pushed by mattam82
January 7, 2025 06:54 5m 58s main
main
January 7, 2025 06:54 5m 58s
Merge pull request #51 from yforster/typo CI #73: Commit 4f14c22 pushed by tabareau
January 6, 2025 17:26 8m 25s main
main
January 6, 2025 17:26 8m 25s
fix image of Aarhus University CI #71: Commit 02dec9f pushed by tabareau
January 6, 2025 14:45 10m 0s main
main
January 6, 2025 14:45 10m 0s
Merge pull request #49 from yforster/snipped CI #70: Commit 057c143 pushed by tabareau
January 6, 2025 11:01 6m 28s main
main
January 6, 2025 11:01 6m 28s
Change snippet on frontpage CI #69: Pull request #49 opened by yforster
January 6, 2025 10:33 6m 25s yforster:snipped
yforster:snipped
January 6, 2025 10:33 6m 25s
profiler screenshot CI #68: Pull request #30 synchronize by mattam82
January 6, 2025 09:32 6m 30s perf-image
perf-image
January 6, 2025 09:32 6m 30s
CI CI #67: Scheduled
January 6, 2025 02:14 6m 40s main
main
January 6, 2025 02:14 6m 40s
Merge pull request #47 from coq/remove-old-news CI #66: Commit 99d333d pushed by tabareau
January 5, 2025 13:37 6m 7s main
main
January 5, 2025 13:37 6m 7s
Merge pull request #48 from coq/invert-name-and-awards CI #65: Commit 68c3df9 pushed by tabareau
January 5, 2025 08:58 6m 29s main
main
January 5, 2025 08:58 6m 29s
Fix icons display for mobile page about CI #64: Commit 4d6e9bd pushed by BastienSozeau
January 4, 2025 19:57 6m 19s main
main
January 4, 2025 19:57 6m 19s
Invert the order of awards and naming sections. CI #63: Pull request #48 opened by Zimmi48
January 4, 2025 17:09 6m 23s invert-name-and-awards
invert-name-and-awards
January 4, 2025 17:09 6m 23s