Skip to content

Actions: coq/deploy-rocq-prover.org

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
9 workflow runs
9 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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