Skip to content

Actions: leanprover/subverso

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
238 workflow runs
238 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: add more Lean versions to CI CI #113: Commit f0d8c10 pushed by david-christiansen
May 8, 2024 12:15 35s slicing
slicing
May 8, 2024 12:15 35s
feat: syntax slices CI #112: Pull request #20 opened by david-christiansen
May 8, 2024 12:12 2m 50s slicing
slicing
May 8, 2024 12:12 2m 50s
feat: syntax slices CI #111: Commit e143cdf pushed by david-christiansen
May 8, 2024 12:12 2m 10s slicing
slicing
May 8, 2024 12:12 2m 10s
fix: round-trip failure for daggered names with default To/FromJson CI #110: Commit fbc9df3 pushed by david-christiansen
May 6, 2024 11:16 5m 48s main
main
May 6, 2024 11:16 5m 48s
fix: round-trip failure for daggered names with default To/FromJson CI #109: Pull request #19 opened by david-christiansen
May 6, 2024 10:59 3m 7s json-round-trip
json-round-trip
May 6, 2024 10:59 3m 7s
fix: round-trip failure for daggered names with default To/FromJson CI #108: Commit 333d772 pushed by david-christiansen
May 6, 2024 10:59 2m 21s json-round-trip
json-round-trip
May 6, 2024 10:59 2m 21s
fix: correctly pass info trees in highlight generation (#18) CI #107: Commit 51f4a73 pushed by david-christiansen
April 30, 2024 11:09 2m 40s main
main
April 30, 2024 11:09 2m 40s
fix: correctly pass info trees in highlight generation CI #106: Pull request #18 synchronize by david-christiansen
April 30, 2024 11:02 3m 59s issue/17
issue/17
April 30, 2024 11:02 3m 59s
fix: no tactics on the "by" keyword CI #105: Commit 0345d14 pushed by david-christiansen
April 30, 2024 11:02 2m 17s issue/17
issue/17
April 30, 2024 11:02 2m 17s
fix: correctly pass info trees in highlight generation CI #104: Pull request #18 synchronize by david-christiansen
April 30, 2024 10:23 3m 33s issue/17
issue/17
April 30, 2024 10:23 3m 33s
fix: don't nest tactic displays CI #103: Commit b482985 pushed by david-christiansen
April 30, 2024 10:23 2m 28s issue/17
issue/17
April 30, 2024 10:23 2m 28s
fix: correctly pass info trees in highlight generation CI #102: Pull request #18 synchronize by david-christiansen
April 30, 2024 10:13 3m 32s issue/17
issue/17
April 30, 2024 10:13 3m 32s
fix: less tactic spam CI #101: Commit 3f97d36 pushed by david-christiansen
April 30, 2024 10:13 2m 18s issue/17
issue/17
April 30, 2024 10:13 2m 18s
fix: correctly pass info trees in highlight generation CI #100: Pull request #18 synchronize by david-christiansen
April 30, 2024 08:07 1m 0s issue/17
issue/17
April 30, 2024 08:07 1m 0s
fix: pass info trees to tactic-finding code too CI #99: Commit bd6cd11 pushed by david-christiansen
April 30, 2024 08:07 54s issue/17
issue/17
April 30, 2024 08:07 54s
fix: correctly pass info trees in highlight generation CI #98: Pull request #18 synchronize by david-christiansen
April 30, 2024 07:51 52s issue/17
issue/17
April 30, 2024 07:51 52s
fix: use whole span of tactic syntax for dedup CI #97: Commit 12b5cd4 pushed by david-christiansen
April 30, 2024 07:51 1m 1s issue/17
issue/17
April 30, 2024 07:51 1m 1s
fix: correctly pass info trees in highlight generation CI #96: Pull request #18 synchronize by david-christiansen
April 30, 2024 07:42 3m 42s issue/17
issue/17
April 30, 2024 07:42 3m 42s
fix: deep tactic state dedup CI #95: Commit 96d1928 pushed by david-christiansen
April 30, 2024 07:42 2m 28s issue/17
issue/17
April 30, 2024 07:42 2m 28s
fix: correctly pass info trees in highlight generation CI #94: Pull request #18 synchronize by david-christiansen
April 30, 2024 07:25 4m 23s issue/17
issue/17
April 30, 2024 07:25 4m 23s
fix: safer highlight maintenance for tactics CI #93: Commit c0766f9 pushed by david-christiansen
April 30, 2024 07:25 2m 48s issue/17
issue/17
April 30, 2024 07:25 2m 48s
fix: correctly pass info trees in highlight generation CI #92: Pull request #18 synchronize by david-christiansen
April 30, 2024 07:03 3m 35s issue/17
issue/17
April 30, 2024 07:03 3m 35s
fix: de-nest tactics for the same location CI #91: Commit 392171d pushed by david-christiansen
April 30, 2024 07:03 2m 36s issue/17
issue/17
April 30, 2024 07:03 2m 36s
fix: correctly pass info trees in highlight generation CI #90: Pull request #18 synchronize by david-christiansen
April 29, 2024 09:46 3m 54s issue/17
issue/17
April 29, 2024 09:46 3m 54s
fix: correctly pass info trees in highlight generation CI #89: Commit ca41db6 pushed by david-christiansen
April 29, 2024 09:46 2m 42s issue/17
issue/17
April 29, 2024 09:46 2m 42s