Skip to content

Actions: rocq-prover/deploy-rocq-prover.org

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
27 workflow runs
27 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI CI #27: Scheduled
June 2, 2025 02:49 9m 59s main
main
June 2, 2025 02:49 9m 59s
CI CI #26: Scheduled
May 26, 2025 02:46 6m 26s main
main
May 26, 2025 02:46 6m 26s
CI CI #25: Scheduled
May 19, 2025 02:47 9m 23s main
main
May 19, 2025 02:47 9m 23s
CI CI #24: Scheduled
May 12, 2025 02:43 6m 24s main
main
May 12, 2025 02:43 6m 24s
CI CI #23: Scheduled
May 5, 2025 02:42 7m 15s main
main
May 5, 2025 02:42 7m 15s
CI CI #22: Scheduled
April 28, 2025 02:40 10m 29s main
main
April 28, 2025 02:40 10m 29s
CI CI #21: Scheduled
April 21, 2025 02:40 9m 26s main
main
April 21, 2025 02:40 9m 26s
CI CI #20: Scheduled
April 14, 2025 02:37 13m 4s main
main
April 14, 2025 02:37 13m 4s
CI CI #19: Scheduled
April 7, 2025 02:35 7m 16s main
main
April 7, 2025 02:35 7m 16s
CI CI #18: Scheduled
March 31, 2025 02:36 6m 21s main
main
March 31, 2025 02:36 6m 21s
Rename Coq to Rocq CI #17: Commit 1bc0375 pushed by mattam82
March 27, 2025 17:50 7m 56s main
main
March 27, 2025 17:50 7m 56s
CI CI #16: Scheduled
March 24, 2025 02:27 6m 15s main
main
March 24, 2025 02:27 6m 15s
CI CI #15: Scheduled
March 17, 2025 02:24 9m 36s main
main
March 17, 2025 02:24 9m 36s
CI CI #14: Scheduled
March 10, 2025 02:02 9m 15s main
main
March 10, 2025 02:02 9m 15s
CI CI #13: Scheduled
March 3, 2025 02:20 9m 58s main
main
March 3, 2025 02:20 9m 58s
CI CI #12: Scheduled
February 24, 2025 02:19 9m 13s main
main
February 24, 2025 02:19 9m 13s
CI CI #11: Scheduled
February 17, 2025 02:18 11m 43s main
main
February 17, 2025 02:18 11m 43s
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