Skip to content

Actions: leanprover/subverso

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
376 workflow runs
376 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix: less tactic spam
CI #101: Commit 3f97d36 pushed by david-christiansen
April 30, 2024 10:13 2m 18s 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
April 30, 2024 08:07 1m 0s
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
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
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
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
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
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
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
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
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
April 29, 2024 09:46 3m 54s
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
April 29, 2024 07:51 56s
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
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
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
April 19, 2024 14:15 2m 32s
chore: add Mac and homebrew to CI
CI #83: Pull request #15 synchronize by david-christiansen
April 19, 2024 14:12 3m 26s ci-mac-homebrew
April 19, 2024 14:12 3m 26s
chore: less Mac CI
CI #82: Commit f3ecd02 pushed by david-christiansen
April 19, 2024 14:12 2m 47s ci-mac-homebrew
April 19, 2024 14:12 2m 47s
fix: invoke elan explicitly (#14)
CI #81: Commit 60b5dbc pushed by david-christiansen
April 19, 2024 14:10 1m 2s main
April 19, 2024 14:10 1m 2s
fix: invoke elan explicitly
CI #80: Pull request #14 synchronize by nomeata
April 19, 2024 14:06 1m 20s nomeata:joachim/lake-from-path
April 19, 2024 14:06 1m 20s
Try Mac homebrew CI with Elan path changes
CI #79: Pull request #16 synchronize by david-christiansen
April 19, 2024 14:05 2m 20s ci-mac-lake-from-path
April 19, 2024 14:05 2m 20s
chore: less Mac CI
CI #78: Commit 02da67e pushed by david-christiansen
April 19, 2024 14:05 2m 1s ci-mac-lake-from-path
April 19, 2024 14:05 2m 1s
Try Mac homebrew CI with Elan path changes
CI #77: Pull request #16 synchronize by david-christiansen
April 19, 2024 14:01 1m 11s ci-mac-lake-from-path
April 19, 2024 14:01 1m 11s
ProTip! You can narrow down the results and go further in time using created:<2024-04-19 or the other filters available.