8000 .github/workflows/ci.yml · Workflow runs · vbgl/mathcomp-word · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Actions: vbgl/mathcomp-word

Actions

.github/workflows/ci.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
25 workflow runs
25 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

dune: use coq 0.8 .github/workflows/ci.yml #26: Commit 3016e7c pushed by vbgl
March 25, 2025 09:45 4m 14s dune-3.8
dune-3.8
March 25, 2025 09:45 4m 14s
dune: use coq 0.8 .github/workflows/ci.yml #25: Commit 00985d0 pushed by vbgl
3m 59s dune-3.8
dune-3.8
March 25, 2025 09:41 3m 59s
dune: use coq 0.8 .github/workflows/ci.yml #24: Commit 78c7eaf pushed by vbgl
March 25, 2025 09:37 3m 53s dune-3.8
dune-3.8
March 25, 2025 09:37 3m 53s
dune: use coq 0.8 .github/workflows/ci.yml #23: Commit 68c5c98 pushed by vbgl
March 25, 2025 09:31 6m 45s dune-3.8
dune-3.8
March 25, 2025 09:31 6m 45s
dune: use coq 0.8 .github/workflows/ci.yml #22: Commit 45653eb pushed by vbgl
March 25, 2025 09:30 4m 15s dune-3.8
dune-3.8
March 25, 2025 09:30 4m 15s
dune: use coq 0.8 .github/workflows/ci.yml #21: Commit b30ce6e pushed by vbgl
March 25, 2025 09:26 3m 55s dune-3.8
dune-3.8
March 25, 2025 09:26 3m 55s
theories .github/workflows/ci.yml #20: Commit a4d4ed4 pushed by vbgl
March 25, 2025 09:14 4m 23s dune-3.8
dune-3.8
March 25, 2025 09:14 4m 23s
opam .github/workflows/ci.yml #19: Commit ed9755a pushed by vbgl
March 25, 2025 09:05 4m 21s dune-3.8
dune-3.8
March 25, 2025 09:05 4m 21s
plugin .github/workflows/ci.yml #18: Commit 4ab2382 pushed by vbgl
March 25, 2025 08:59 4m 5s dune-3.8
dune-3.8
March 25, 2025 08:59 4m 5s
dune: use coq 0.8 .github/workflows/ci.yml #17: Commit be1fbf8 pushed by vbgl
March 25, 2025 08:31 4m 14s dune-3.8
dune-3.8
March 25, 2025 08:31 4m 14s
Use dune lang 3.8 w/ coq 0.7 .github/workflows/ci.yml #16: Commit dc6c306 pushed by vbgl
March 25, 2025 06:18 4m 25s dune-3.8
dune-3.8
March 25, 2025 06:18 4m 25s
Mark compatible with MC 2.3 & Coq 8.20 .github/workflows/ci.yml #15: Commit a341079 pushed by vbgl
March 25, 2025 06:07 4m 10s main
main
March 25, 2025 06:07 4m 10s
Mark compatible with Coq 8.20 .github/workflows/ci.yml #14: Commit 38bf633 pushed by vbgl
February 5, 2025 08:57 47m 31s release-2.x
release-2.x
February 5, 2025 08:57 47m 31s
Release v2.4 .github/workflows/ci.yml #13: Commit bd9a02d pushed by vbgl
February 5, 2025 08:55 57m 7s release-2.x
release-2.x
February 5, 2025 08:55 57m 7s
Mark compatible with MC 2.3 & Coq 8.20 .github/workflows/ci.yml #12: Commit 685830a pushed by vbgl
February 5, 2025 06:52 4m 6s mc-2.3
mc-2.3
February 5, 2025 06:52 4m 6s
Release v3.2 .github/workflows/ci.yml #11: Commit 1abe5ad pushed by vbgl
February 5, 2025 06:33 4m 14s main
main
February 5, 2025 06:33 4m 14s
Do not require all_ssreflect .github/workflows/ci.yml #10: Commit 4121a52 pushed by vbgl
May 23, 2024 13:38 9m 25s less-ssreflect
less-ssreflect
May 23, 2024 13:38 9m 25s
Change implementation of lsr .github/workflows/ci.yml #9: Commit d08074f pushed by vbgl
May 23, 2024 06:58 48m 16s release-2.x
release-2.x
May 23, 2024 06:58 48m 16s
Change implementation of lsr .github/workflows/ci.yml #8: Commit c6ac158 pushed by vbgl
May 22, 2024 13:04 2m 41s shiftr-nat
shiftr-nat
May 22, 2024 13:04 2m 41s
Add lemma urepr_lsr .github/workflows/ci.yml #7: Commit 71f3384 pushed by vbgl
May 22, 2024 13:04 2m 47s main
main
May 22, 2024 13:04 2m 47s
Release v2.3 .github/workflows/ci.yml #6: Commit 48ca41b pushed by vbgl
May 22, 2024 11:34 4m 46s release-2.x
release-2.x
May 22, 2024 11:34 4m 46s
Change implementation of lsr .github/workflows/ci.yml #5: Commit b15ed58 pushed by vbgl
May 22, 2024 08:30 4m 48s lsr
lsr
May 22, 2024 08:30 4m 48s
Add lemma urepr_lsr .github/workflows/ci.yml #4: Commit 47f95f6 pushed by vbgl
May 22, 2024 07:57 4m 44s urepr-lsr-2.x
urepr-lsr-2.x
May 22, 2024 07:57 4m 44s
Add lemma urepr_lsr .github/workflows/ci.yml #3: Commit 44c8dcf pushed by vbgl
May 22, 2024 07:52 2m 37s urepr-lsr
urepr-lsr
May 22, 2024 07:52 2m 37s
Do not require all_ssreflect .github/workflows/ci.yml #2: Commit e8661f9 pushed by vbgl
May 22, 2024 06:42 2m 38s less-ssreflect
less-ssreflect
May 22, 2024 06:42 2m 38s
0