8000 Workflow runs · rocq-prover/vsrocq · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Actions: rocq-prover/vsrocq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
841 workflow runs
841 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Feature/im api .github/workflows/ci.yml #1670: Pull request #1113 synchronize by clebreto
May 23, 2025 12:05 11m 35s clebreto:feature/im_api
clebreto:feature/im_api
May 23, 2025 12:05 11m 35s
Feature/im api .github/workflows/ci.yml # 8000 1669: Pull request #1113 synchronize by clebreto
May 23, 2025 11:10 31m 29s clebreto:feature/im_api
clebreto:feature/im_api
May 23, 2025 11:10 31m 29s
Feature/im api .github/workflows/ci.yml #1668: Pull request #1113 synchronize by clebreto
May 23, 2025 11:05 26m 26s clebreto:feature/im_api
clebreto:feature/im_api
May 23, 2025 11:05 26m 26s
Feature/im api .github/workflows/ci.yml #1667: Pull request #1113 synchronize by clebreto
May 23, 2025 11:02 22m 1s clebreto:feature/im_api
clebreto:feature/im_api
May 23, 2025 11:02 22m 1s
Feature/im api .github/workflows/ci.yml #1666: Pull request #1113 opened by clebreto
May 23, 2025 11:00 12m 22s clebreto:feature/im_api
clebreto:feature/im_api
May 23, 2025 11:00 12m 22s
Merge pull request #1112 from eponier/improve-makefile .github/workflows/ci.yml #1665: Commit 0939459 pushed by rtetley
May 23, 2025 09:23 31m 19s main
main
May 23, 2025 09:23 31m 19s
Updating locations types + adding abstract module for location .github/workflows/ci.yml #1664: Pull request #1106 synchronize by MrDaiki
May 23, 2025 09:09 31m 13s MrDaiki:separate-rocq
MrDaiki:separate-rocq
May 23, 2025 09:09 31m 13s
Merge pull request #1107 from thomas-lamiaux/patch-3 .github/workflows/ci.yml #1663: Commit 1cef20a pushed by rtetley
May 23, 2025 09:05 39m 8s main
main
May 23, 2025 09:05 39m 8s
Merge pull request #1110 from g0byx3/feature/1093_rename-rocq-specifi… .github/workflows/ci.yml #1662: Commit 3e2639a pushed by rtetley
May 23, 2025 09:05 15m 38s main
main
May 23, 2025 09:05 15m 38s
Improve Makefile .github/workflows/ci.yml #1661: Pull request #1112 opened by eponier
May 23, 2025 09:03 20m 27s eponier:improve-makefile
eponier:improve-makefile
May 23, 2025 09:03 20m 27s
Feature/full refactoring .github/workflows/ci.yml #1660: Pull request #1111 synchronize by clebreto
May 23, 2025 08:31 14m 11s clebreto:feature/full_refactoring
clebreto:feature/full_refactoring
May 23, 2025 08:31 14m 11s
Feature/full refactoring .github/workflows/ci.yml #1659: Pull request #1111 opened by clebreto
May 23, 2025 08:19 15m 16s clebreto:feature/full_refactoring
clebreto:feature/full_refactoring
May 23, 2025 08:19 15m 16s
#1093: Renaming: vsrocq -> prover .github/workflows/ci.yml #1658: Pull request #1110 opened by g0byx3
May 22, 2025 18:05 8m 28s g0byx3:feature/1093_rename-rocq-specific-messages
g0byx3:feature/1093_rename-rocq-specific-messages
May 22, 2025 18:05 8m 28s
Add match! keywords for Ltac2 to syntax highligthing .github/workflows/ci.yml #1657: Pull request #1107 synchronize by thomas-lamiaux
May 22, 2025 16:35 14m 14s thomas-lamiaux:patch-3
thomas-lamiaux:patch-3
May 22, 2025 16:35 14m 14s
Add first draft of mli templates .github/workflows/ci.yml #1656: Pull request #1108 opened by vincent-botbol
May 22, 2025 15:28 23m 10s vincent-botbol:template-issue-1099
vincent-botbol:template-issue-1099
May 22, 2025 15:28 23m 10s
Add match! keywords for Ltac2 to syntax highligthing .github/workflows/ci.yml #1655: Pull request #1107 opened by thomas-lamiaux
May 22, 2025 15:18 25m 3s thomas-lamiaux:patch-3
thomas-lamiaux:patch-3
May 22, 2025 15:18 25m 3s
Updating locations types + adding abstract module for location .github/workflows/ci.yml #1654: Pull request #1106 synchronize by MrDaiki
May 22, 2025 15:17 11m 19s MrDaiki:separate-rocq
MrDaiki:separate-rocq
May 22, 2025 15:17 11m 19s
Updating locations types + adding abstract module for location .github/workflows/ci.yml #1653: Pull request #1106 opened by MrDaiki
May 22, 2025 14:29 11m 1s MrDaiki:separate-rocq
MrDaiki:separate-rocq
May 22, 2025 14:29 11m 1s
[RFC] process to separate rocq .github/workflows/ci.yml #1652: Pull request #1090 synchronize by rtetley
May 22, 2025 14:02 10m 9s separate-rocq
separate-rocq
May 22, 2025 14:02 10m 9s
Merge pull request #1105 from rocq-prover/fix-opam-file .github/workflows/ci.yml #1651: Commit 98927e9 pushed by rtetley
May 22, 2025 13:26 14m 38s main
main
May 22, 2025 13:26 14m 38s
fix: opam file syntax error .github/workflows/ci.yml #1650: Pull request #1105 opened by rtetley
May 22, 2025 09:09 14m 35s fix-opam-file
fix-opam-file
May 22, 2025 09:09 14m 35s
Merge pull request #1078 from rocq-prover/renaming .github/workflows/ci.yml #1649: Commit 730b878 pushed by rtetley
May 22, 2025 08:50 13m 32s main
main
May 22, 2025 08:50 13m 32s
Rename extension .github/workflows/ci.yml #1648: Pull request #1078 synchronize by rtetley
May 22, 2025 08:07 14m 37s renaming
renaming
May 22, 2025 08:07 14m 37s
.github/workflows/publish-extension.yml .github/workflows/publish-extension.yml #25: Manually run by rtetley
May 20, 2025 17:17 1m 35s v2.2.6
v2.2.6
May 20, 2025 17:17 1m 35s
Merge pull request #1104 from rocq-prover/update-opam-file .github/workflows/ci.yml #1647: Commit 8ec3a7f pushed by rtetley
May 20, 2025 09:40 12m 42s main
main
May 20, 2025 09:40 12m 42s
0