Skip to content

Actions: coq/deploy-rocq-prover.org

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
10 workflow runs
10 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI CI #10: Scheduled
February 10, 2025 02:15 8m 40s main
main
February 10, 2025 02:15 8m 40s
CI CI #9: Scheduled
February 3, 2025 02:13 7m 7s main
main
February 3, 2025 02:13 7m 7s
Restore link to deployer CI #8: Commit c384eaa pushed by mattam82
January 29, 2025 14:04 8m 41s main
main
January 29, 2025 14:04 8m 41s
Links somewhere, just not everywhere CI #7: Commit 341ff0f pushed by mattam82
January 29, 2025 14:01 8m 20s main
main
January 29, 2025 14:01 8m 20s
Cannot put link in status message CI #6: Commit 04c5ab4 pushed by mattam82
January 29, 2025 13:58 11m 4s main
main
January 29, 2025 13:58 11m 4s
Improve deployment links CI #5: Commit 884ed63 pushed by mattam82
January 29, 2025 12:15 8m 23s main
main
January 29, 2025 12:15 8m 23s
CI CI #4: Scheduled
January 27, 2025 02:14 6m 54s main
main
January 27, 2025 02:14 6m 54s
Fix apt cmd CI #3: Commit 59dc9f1 pushed by mattam82
January 24, 2025 15:46 9m 25s main
main
January 24, 2025 15:46 9m 25s
[ci] Update CI #2: Commit 17e1fa8 pushed by mattam82
January 24, 2025 15:18 8m 48s main
main
January 24, 2025 15:18 8m 48s
[ci] Pin the ocurrent repository while waiting for a new release CI #1: Commit 6048ba0 pushed by mattam82
January 24, 2025 15:06 11m 25s main
main
January 24, 2025 15:06 11m 25s