Skip to content

Actions: leanprover/subverso

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
433 workflow runs
433 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
fix: correctly pass info trees in highlight generation CI #88: Pull request #18 opened by david-christiansen
April 29, 2024 07:51 56s issue/17
issue/17
April 29, 2024 07:51 56s
fix: correctly pass info trees in highlight generation CI #87: Commit 661a59c pushed by david-christiansen
April 29, 2024 06:21 56s issue/17
issue/17
April 29, 2024 06:21 56s
chore: add Mac and homebrew to CI (#15) CI #86: Commit b7e2e2d pushed by david-christiansen
April 19, 2024 14:19 2m 46s main
main
April 19, 2024 14:19 2m 46s
chore: add Mac and homebrew to CI CI #85: Pull request #15 synchronize by david-christiansen
April 19, 2024 14:15 3m 17s ci-mac-homebrew
ci-mac-homebrew
April 19, 2024 14:15 3m 17s
chore: less Mac CI CI #84: Commit 1088607 pushed by david-christiansen
April 19, 2024 14:15 2m 32s ci-mac-homebrew
ci-mac-homebrew
April 19, 2024 14:15 2m 32s
ProTip! You can narrow down the results and go further in time using created:<2024-04-19 or the other filters available.