Skip to content

Actions: coq/rocq-prover.org

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
184 workflow runs
184 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #90 from erikmd/add-members CI #186: Commit bdf5a0a pushed by Zimmi48
February 11, 2025 16:56 7m 45s main
main
February 11, 2025 16:56 7m 45s
Add members to {action, docker} teams CI #185: Pull request #90 synchronize by Zimmi48
February 11, 2025 16:43 8m 12s erikmd:add-members
erikmd:add-members
February 11, 2025 16:43 8m 12s
Merge pull request #89 from mattam82/nantes-universite-logo CI #184: Commit 7e0bfbc pushed by tabareau
February 11, 2025 14:10 11m 19s main
main
February 11, 2025 14:10 11m 19s
Add members to {action, docker} teams CI #183: Pull request #90 opened by erikmd
February 10, 2025 21:32 10m 26s erikmd:add-members
erikmd:add-members
February 10, 2025 21:32 10m 26s
Add Nantes Université logo to home CI #182: Pull request #89 synchronize by mattam82
February 10, 2025 14:13 7m 6s mattam82:nantes-universite-logo
mattam82:nantes-universite-logo
February 10, 2025 14:13 7m 6s
Add Nantes Université logo to home CI #181: Pull request #89 opened by mattam82
February 10, 2025 14:04 12m 23s mattam82:nantes-universite-logo
mattam82:nantes-universite-logo
February 10, 2025 14:04 12m 23s
CI CI #180: Scheduled
February 10, 2025 02:09 7m 34s main
main
February 10, 2025 02:09 7m 34s
Merge pull request #87 from joom/main CI #179: Commit 24657f5 pushed by tabareau
February 4, 2025 22:34 7m 35s main
main
February 4, 2025 22:34 7m 35s
Fix typo CI #178: Pull request #87 opened by joom
February 4, 2025 20:37 8m 4s joom:main
joom:main
February 4, 2025 20:37 8m 4s
CI CI #177: Scheduled
February 3, 2025 02:07 7m 33s main
main
February 3, 2025 02:07 7m 33s
Merge pull request #86 from thomas-lamiaux/new-expl CI #176: Commit 0ee5aed pushed by Zimmi48
January 31, 2025 16:04 7m 26s main
main
January 31, 2025 16:04 7m 26s
Merge pull request #83 from mattam82/fix-doc CI #175: Commit af22105 pushed by mattam82
January 31, 2025 15:59 7m 27s main
main
January 31, 2025 15:59 7m 27s
Fix documentation links everywhere and local doc handling CI #174: Pull request #83 synchronize by mattam82
January 31, 2025 15:58 7m 46s mattam82:fix-doc
mattam82:fix-doc
January 31, 2025 15:58 7m 46s
Add Explanation about Bidirectional Hints to the documentation CI #173: Pull request #86 opened by thomas-lamiaux
January 31, 2025 15:26 7m 55s thomas-lamiaux:new-expl
thomas-lamiaux:new-expl
January 31, 2025 15:26 7m 55s
Fix documentation links everywhere and local doc handling CI #172: Pull request #83 synchronize by mattam82
January 31, 2025 14:24 10m 49s mattam82:fix-doc
mattam82:fix-doc
January 31, 2025 14:24 10m 49s
Fix documentation links everywhere and local doc handling CI #171: Pull request #83 synchronize by mattam82
January 30, 2025 19:12 7m 7s mattam82:fix-doc
mattam82:fix-doc
January 30, 2025 19:12 7m 7s
Merge pull request #77 from coq/improve-community CI #170: Commit c228af8 pushed by Zimmi48
January 30, 2025 12:57 7m 30s main
main
January 30, 2025 12:57 7m 30s
Improvements to community page. CI #169: Pull request #77 synchronize by Zimmi48
January 30, 2025 12:48 7m 37s improve-community
improve-community
January 30, 2025 12:48 7m 37s
Improvements to community page. CI #168: Pull request #77 synchronize by Zimmi48
January 30, 2025 12:47 7m 55s improve-community
improve-community
January 30, 2025 12:47 7m 55s
Merge pull request #84 from coq/remove-playground-link CI #167: Commit 50a061e pushed by mattam82
January 30, 2025 12:10 8m 28s main
main
January 30, 2025 12:10 8m 28s
Remove a remaining link to the playground CI #166: Pull request #84 synchronize by mattam82
January 30, 2025 12:10 7m 39s remove-playground-link
remove-playground-link
January 30, 2025 12:10 7m 39s
Remove a remaining link to the playground CI #165: Pull request #84 opened by mattam82
January 30, 2025 12:00 6m 24s remove-playground-link
remove-playground-link
January 30, 2025 12:00 6m 24s
Improvements to community page. CI #164: Pull request #77 synchronize by BastienSozeau
January 30, 2025 11:14 9m 3s improve-community
improve-community
January 30, 2025 11:14 9m 3s
Merge pull request #78 from coq/remove-irrelevant-packages-section CI #163: Commit 1f3c2aa pushed by Zimmi48
January 29, 2025 15:47 7m 59s main
main
January 29, 2025 15:47 7m 59s
Remove section inherited from OCaml.org irrelevant for Rocq. CI #162: Pull request #78 synchronize by mattam82
January 29, 2025 11:54 8m 3s remove-irrelevant-packages-section
remove-irrelevant-packages-section
January 29, 2025 11:54 8m 3s