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
843 workflow runs
843 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #1131 from srhhma/patch-2 .github/workflows/ci.yml #1720: Commit 65a14b8 pushed by rtetley
June 25, 2025 13:35 29m 15s main
main
June 25, 2025 13:35 29m 15s
Update README.md -> add nixos install .github/workflows/ci.yml #1719: Pull request #1131 opened by srhhma
June 25, 2025 12:00 6m 47s srhhma:patch-2
srhhma:patch-2
June 25, 2025 12:00 6m 47s
Update README.md .github/workflows/ci.yml #1718: Pull request #1130 opened by srhhma
June 25, 2025 11:53 19m 59s srhhma:patch-1
srhhma:patch-1
June 25, 2025 11:53 19m 59s
[RFC] process to separate rocq .github/workflows/ci.yml #1717: Pull request #1090 synchronize by gares
June 12, 2025 07:53 16m 19s separate-rocq
separate-rocq
June 12, 2025 07:53 16m 19s
[RFC] process to separate rocq .github/workflows/ci.yml #1716: Pull request #1090 synchronize by gares
June 12, 2025 07:45 13m 54s separate-rocq
separate-rocq
June 12, 2025 07:45 13m 54s
[RFC] process to separate rocq .github/workflows/ci.yml #1715: Pull request #1090 synchronize by rtetley
June 12, 2025 07:29 23m 57s separate-rocq
separate-rocq
June 12, 2025 07:29 23m 57s
[RFC] process to separate rocq .github/workflows/ci.yml #1714: Pull request #1090 synchronize by gares
June 12, 2025 07:25 11m 43s separate-rocq
separate-rocq
June 12, 2025 07:25 11m 43s
[RFC] process to separate rocq .github/workflows/ci.yml #1713: Pull request #1090 synchronize by gares
June 11, 2025 19:32 9m 11s separate-rocq
separate-rocq
June 11, 2025 19:32 9m 11s
[RFC] process to separate rocq .github/workflows/ci.yml #1712: Pull request #1090 synchronize by gares
June 11, 2025 15:01 27m 39s separate-rocq
separate-rocq
June 11, 2025 15:01 27m 39s
[RFC] process to separate rocq .github/workflows/ci.yml #1711: Pull request #1090 synchronize by gares
June 11, 2025 12:03 10m 6s separate-rocq
separate-rocq
June 11, 2025 12:03 10m 6s
fix: update the flake and CI .github/workflows/ci.yml #1710: Pull request #1128 synchronize by rtetley
June 10, 2025 13:18 1h 13m 53s fix-flake
fix-flake
June 10, 2025 13:18 1h 13m 53s
fix: update the flake and CI .github/workflows/ci.yml #1709: Pull request #1128 opened by rtetley
June 10, 2025 12:51 54m 43s fix-flake
fix-flake
June 10, 2025 12:51 54m 43s
Merge pull request #1127 from rocq-prover/fix-version-display .github/workflows/ci.yml #1708: Commit 9356021 pushed by rtetley
June 10, 2025 12:45 31m 20s main
main
June 10, 2025 12:45 31m 20s
fix: forgot two cases for rocq version display .github/workflows/ci.yml #1707: Pull request #1127 opened by rtetley
June 10, 2025 12:28 15m 56s fix-version-display
fix-version-display
June 10, 2025 12:28 15m 56s
Merge pull request #1126 from rocq-prover/fix-version-display .github/workflows/ci.yml #1706: Commit c7e35c3 pushed by rtetley
June 10, 2025 09:38 19m 4s main
main
June 10, 2025 09:38 19m 4s
fix: rocq version display .github/workflows/ci.yml #1705: Pull request #1126 opened by rtetley
June 10, 2025 08:37 30m 34s fix-version-display
fix-version-display
June 10, 2025 08:37 30m 34s
Merge pull request #1121 from Durbatuluk1701/main .github/workflows/ci.yml #1704: Commit 9fa0860 pushed by rtetley
June 5, 2025 12:28 14m 59s main
main
June 5, 2025 12:28 14m 59s
Adding FAQ and Issue Templates .github/workflows/ci.yml #1703: Pull request #1121 synchronize by rtetley
June 5, 2025 11:20 14m 55s Durbatuluk1701:main
Durbatuluk1701:main
June 5, 2025 11:20 14m 55s
Merge pull request #1124 from rocq-prover/update-show-setup .github/workflows/ci.yml #1702: Commit 912c47e pushed by rtetley
June 5, 2025 10:56 16m 2s main
main
June 5, 2025 10:56 16m 2s
feat: add vscode and OS info to show setup command .github/workflows/ci.yml #1701: Pull request #1124 opened by rtetley
June 5, 2025 07:46 11m 8s update-show-setup
B21E
update-show-setup
June 5, 2025 07:46 11m 8s
Adding FAQ and Issue Templates .github/workflows/ci.yml #1700: Pull request #1121 synchronize by Durbatuluk1701
June 4, 2025 20:31 14m 18s Durbatuluk1701:main
Durbatuluk1701:main
June 4, 2025 20:31 14m 18s
Adding FAQ and Issue Templates .github/workflows/ci.yml #1699: Pull request #1121 opened by Durbatuluk1701
June 4, 2025 04:48 15m 7s Durbatuluk1701:main
Durbatuluk1701:main
June 4, 2025 04:48 15m 7s
Merge pull request #1120 from rocq-prover/cherrypick-fixes .github/workflows/ci.yml #1698: Commit 6ca3abc pushed by rtetley
June 3, 2025 06:04 19m 15s main
main
June 3, 2025 06:04 19m 15s
Cherrypick fixes .github/workflows/ci.yml #1697: Pull request #1120 opened by rtetley
June 2, 2025 13:20 32m 40s cherrypick-fixes
cherrypick-fixes
June 2, 2025 13:20 32m 40s
Merge pull request #1112 from eponier/improve-makefile .github/workflows/ci.yml #1696: Commit 0939459 pushed by rtetley
June 2, 2025 13:14 27m 45s main
main
June 2, 2025 13:14 27m 45s
0