Skip to content

Actions: leanprover/subverso

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
217 workflow runs
217 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: compatibility shims for 2024-08-29 CI #192: Commit 26bdce6 pushed by david-christiansen
August 30, 2024 20:34 7m 19s 24-08-29
24-08-29
August 30, 2024 20:34 7m 19s
chore: compatibility shims for HashMap, plus wider overall compat (#39) CI #191: Commit 1336f04 pushed by david-christiansen
August 9, 2024 11:03 6m 48s main
main
August 9, 2024 11:03 6m 48s
chore: compatibility shims for HashMap, plus wider overall compat CI #190: Pull request #39 synchronize by david-christiansen
August 9, 2024 10:11 6m 41s compat-2024-08-09
compat-2024-08-09
August 9, 2024 10:11 6m 41s
Better support for old Lean CI #189: Commit fd30933 pushed by david-christiansen
August 9, 2024 10:11 4m 52s compat-2024-08-09
compat-2024-08-09
August 9, 2024 10:11 4m 52s
chore: compatibility shims for HashMap, plus wider overall compat CI #188: Pull request #39 synchronize by david-christiansen
August 9, 2024 10:04 1m 27s compat-2024-08-09
compat-2024-08-09
August 9, 2024 10:04 1m 27s
Test all releases CI #187: Commit 23583f8 pushed by david-christiansen
August 9, 2024 10:04 1m 32s compat-2024-08-09
compat-2024-08-09
August 9, 2024 10:04 1m 32s
chore: compatibility shims for HashMap, plus wider overall compat CI #186: Pull request #39 synchronize by david-christiansen
August 9, 2024 09:49 6m 54s compat-2024-08-09
compat-2024-08-09
August 9, 2024 09:49 6m 54s
4.3.0 compat, plus better errors CI #185: Commit ebb969f pushed by david-christiansen
August 9, 2024 09:49 6m 57s compat-2024-08-09
compat-2024-08-09
August 9, 2024 09:49 6m 57s
chore: compatibility shims for HashMap, plus wider overall compat CI #184: Pull request #39 synchronize by david-christiansen
August 9, 2024 09:34 36s compat-2024-08-09
compat-2024-08-09
August 9, 2024 09:34 36s
Compat with Lean 4.9 too CI #183: Commit 6fe920e pushed by david-christiansen
August 9, 2024 09:34 35s compat-2024-08-09
compat-2024-08-09
August 9, 2024 09:34 35s
chore: compatibility shims for HashMap, plus wider overall compat CI #182: Pull request #39 opened by david-christiansen
August 9, 2024 09:30 37s compat-2024-08-09
compat-2024-08-09
August 9, 2024 09:30 37s
chore: compatibility shims for HashMap CI #181: Commit a41f323 pushed by david-christiansen
August 9, 2024 09:30 42s compat-2024-08-09
compat-2024-08-09
August 9, 2024 09:30 42s
chore: update CI matrix and compatibility (#38) CI #180: Commit 812038c pushed by david-christiansen
August 8, 2024 09:38 6m 47s main
main
August 8, 2024 09:38 6m 47s
chore: update CI matrix and compatibility CI #179: Pull request #38 synchronize by david-christiansen
August 8, 2024 09:16 6m 50s ci-2024-08-08
ci-2024-08-08
August 8, 2024 09:16 6m 50s
chore: update CI matrix and compatibility CI #178: Commit 25effa8 pushed by david-christiansen
August 8, 2024 09:16 6m 50s ci-2024-08-08
ci-2024-08-08
August 8, 2024 09:16 6m 50s
chore: update CI matrix and compatibility CI #177: Pull request #38 synchronize by david-christiansen
August 8, 2024 09:12 1m 24s ci-2024-08-08
ci-2024-08-08
August 8, 2024 09:12 1m 24s
chore: update CI matrix and compatibility CI #176: Commit fa2a444 pushed by david-christiansen
August 8, 2024 09:12 1m 31s ci-2024-08-08
ci-2024-08-08
August 8, 2024 09:12 1m 31s
chore: update CI matrix and compatibility CI #175: Pull request #38 opened by david-christiansen
August 8, 2024 09:04 1m 21s ci-2024-08-08
ci-2024-08-08
August 8, 2024 09:04 1m 21s
chore: update CI matrix and compatibility CI #174: Commit 7a7a2eb pushed by david-christiansen
August 8, 2024 09:03 1m 22s ci-2024-08-08
ci-2024-08-08
August 8, 2024 09:03 1m 22s
chore: update CI matrix (#36) CI #173: Commit cd093ca pushed by david-christiansen
August 5, 2024 05:31 6m 45s main
main
August 5, 2024 05:31 6m 45s
chore: update CI matrix CI #172: Pull request #36 synchronize by david-christiansen
August 5, 2024 05:22 8m 16s ci-2024-07-27
ci-2024-07-27
August 5, 2024 05:22 8m 16s
Use nightly post-fix, plus release CI #171: Commit 7c3a510 pushed by david-christiansen
August 5, 2024 05:22 6m 5s ci-2024-07-27
ci-2024-07-27
August 5, 2024 05:22 6m 5s
fix: missing warnings from some examples (#37) CI #170: Commit 8237ca3 pushed by david-christiansen
July 31, 2024 10:14 7m 14s main
main
July 31, 2024 10:14 7m 14s
fix: missing warnings from some examples CI #169: Pull request #37 synchronize by david-christiansen
July 31, 2024 09:57 16m 42s missing-warnings
missing-warnings
July 31, 2024 09:57 16m 42s
Fix test CI #168: Commit 613654f pushed by david-christiansen
July 31, 2024 09:57 10m 38s missing-warnings
missing-warnings
July 31, 2024 09:57 10m 38s