Skip to content

Actions: leanprover/subverso

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
250 workflow runs
250 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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
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
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
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
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
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
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
ci-mac-lake-from-path
April 19, 2024 14:01 1m 11s
chore: less Mac CI CI #76: Commit c809f9b pushed by david-christiansen
April 19, 2024 14:01 55s ci-mac-lake-from-path
ci-mac-lake-from-path
April 19, 2024 14:01 55s