Skip to content

Actions: coq/rocq-prover.org

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
231 workflow runs
231 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Shorten rocq-lsp CI #133: Pull request #73 opened by gares
January 23, 2025 20:31 9m 6s gares-patch-1
gares-patch-1
January 23, 2025 20:31 9m 6s
Fix various URLs and package names. CI #132: Pull request #72 synchronize by Zimmi48
January 23, 2025 16:08 7m 51s fix-rocq
fix-rocq
January 23, 2025 16:08 7m 51s
Fix various URLs and package names. CI #131: Pull request #72 opened by Zimmi48
January 23, 2025 16:08 7m 43s fix-rocq
fix-rocq
January 23, 2025 16:08 7m 43s
Add link to Corelib doc and Stdlib refman CI #130: Pull request #71 opened by proux01
January 23, 2025 12:29 7m 14s proux01:corelib-link
proux01:corelib-link
January 23, 2025 12:29 7m 14s
Merge pull request #70 from CohenCyril/patch-1 CI #129: Commit f2c5b75 pushed by Zimmi48
January 22, 2025 10:09 7m 21s main
main
January 22, 2025 10:09 7m 21s
Fix my github account CI #128: Pull request #70 opened by CohenCyril
January 22, 2025 07:37 6m 55s CohenCyril:patch-1
CohenCyril:patch-1
January 22, 2025 07:37 6m 55s
Merge pull request #69 from coq/finish-disable-playground CI #127: Commit b498802 pushed by tabareau
January 21, 2025 14:09 8m 55s main
main
January 21, 2025 14:09 8m 55s
finish disabling the playground (after PR #68) CI #126: Pull request #69 opened by tabareau
January 21, 2025 13:26 6m 33s finish-disable-playground
finish-disable-playground
January 21, 2025 13:26 6m 33s
Merge pull request #68 from mattam82/disable-playground CI #125: Commit bf2cfe2 pushed by mattam82
January 21, 2025 10:33 8m 36s main
main
January 21, 2025 10:33 8m 36s
Disable playground for now, until we find a more stable solution CI #124: Pull request #68 opened by mattam82
January 21, 2025 10:01 7m 18s mattam82:disable-playground
mattam82:disable-playground
January 21, 2025 10:01 7m 18s
Merge pull request #67 from coq/update-stdlib CI #123: Commit ce10a0b pushed by mattam82
January 20, 2025 16:19 8m 4s main
main
January 20, 2025 16:19 8m 4s
Merge pull request #66 from proux01/release_8_20_1 CI #122: Commit 46fa632 pushed by mattam82
January 20, 2025 16:16 8m 14s main
main
January 20, 2025 16:16 8m 14s
Add Stdlib aditional assets CI #121: Pull request #67 opened by BastienSozeau
January 20, 2025 16:11 7m 24s update-stdlib
update-stdlib
January 20, 2025 16:11 7m 24s
Release 8.20.1 CI #120: Pull request #66 opened by proux01
January 20, 2025 15:55 7m 1s proux01:release_8_20_1
proux01:release_8_20_1
January 20, 2025 15:55 7m 1s
Import existing guides CI #119: Pull request #61 synchronize by mattam82
January 20, 2025 14:03 7m 51s import-existing-guides
import-existing-guides
January 20, 2025 14:03 7m 51s
Import existing guides CI #118: Pull request #61 synchronize by mattam82
January 20, 2025 14:02 7m 38s import-existing-guides
import-existing-guides
January 20, 2025 14:02 7m 38s
Link to package homepage instead of the No Docs warning while we add … CI #117: Commit eb8a3aa pushed by mattam82
January 20, 2025 13:58 6m 29s main
main
January 20, 2025 13:58 6m 29s
Link to package homepage instead of the No Docs warning while we add … CI #116: Pull request #64 synchronize by mattam82
January 20, 2025 13:48 8m 2s package-link-to-homepage
package-link-to-homepage
January 20, 2025 13:48 8m 2s
Merge pull request #60 from coq/evolve-learn CI #115: Commit 18e7d3b pushed by mattam82
January 20, 2025 12:18 7m 43s main
main
January 20, 2025 12:18 7m 43s
Import existing guides CI #114: Pull request #61 synchronize by mattam82
January 20, 2025 10:47 7m 19s import-existing-guides
import-existing-guides
January 20, 2025 10:47 7m 19s
Merge pull request #65 from coq/update-fonts CI #113: Commit ab51b99 pushed by mattam82
January 20, 2025 10:44 7m 17s main
main
January 20, 2025 10:44 7m 17s
Link to package homepage instead of the No Docs warning while we add … CI #112: Pull request #64 synchronize by mattam82
January 20, 2025 10:42 7m 33s package-link-to-homepage
package-link-to-homepage
January 20, 2025 10:42 7m 33s
Update fonts / remove unnecessary ligatures CI #111: Pull request #65 opened by BastienSozeau
January 20, 2025 10:33 7m 50s update-fonts
update-fonts
January 20, 2025 10:33 7m 50s
Link to package homepage instead of the No Docs warning while we add … CI #110: Pull request #64 opened by mattam82
January 20, 2025 10:15 8m 15s package-link-to-homepage
package-link-to-homepage
January 20, 2025 10:15 8m 15s
Import existing guides CI #109: Pull request #61 synchronize by mattam82
January 20, 2025 09:50 7m 44s import-existing-guides
import-existing-guides
January 20, 2025 09:50 7m 44s