Skip to content

Actions: coq/rocq-prover.org

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
209 workflow runs
209 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
github_actions in /. - Update #958073675 Dependabot Updates #15: by dependabot bot
February 3, 2025 13:43 38s main
main
February 3, 2025 13:43 38s
Check links Check links #5: Scheduled
February 3, 2025 02:39 7m 4s main
main
February 3, 2025 02:39 7m 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
Fix documentation links everywhere and local doc handling CI #161: Pull request #83 opened by mattam82
January 29, 2025 11:52 8m 1s mattam82:fix-doc
mattam82:fix-doc
January 29, 2025 11:52 8m 1s
Enables to print papers filtered by a tag + details button to display the full list CI #160: Pull request #82 synchronize by thomas-lamiaux
January 28, 2025 11:49 11m 6s thomas-lamiaux:paper-per-tags
thomas-lamiaux:paper-per-tags
January 28, 2025 11:49 11m 6s
Enables to print papers filtered by a tag + details button to display the full list CI #159: Pull request #82 synchronize by thomas-lamiaux
January 28, 2025 10:56 7m 27s thomas-lamiaux:paper-per-tags
thomas-lamiaux:paper-per-tags
January 28, 2025 10:56 7m 27s
Merge pull request #81 from bendy/main CI #158: Commit 09fca6b pushed by tabareau
January 28, 2025 08:06 7m 7s main
main
January 28, 2025 08:06 7m 7s
Enables to print papers filtered by a tag + details button to display the full list CI #157: Pull request #82 synchronize by thomas-lamiaux
January 27, 2025 22:52 8m 46s thomas-lamiaux:paper-per-tags
thomas-lamiaux:paper-per-tags
January 27, 2025 22:52 8m 46s