Skip to content

Actions: leanprover-community/lean-auto

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
278 workflow runs
278 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #20 from leanprover-community/main ci #56: Commit 9bfc3ca pushed by JOSHCLUNE
February 20, 2024 03:02 2s duper2
duper2
February 20, 2024 03:02 2s
Merge updated DTr data structure so Duper can track isFromGoal information ci #55: Pull request #20 opened by JOSHCLUNE
February 20, 2024 03:01 3s main
main
February 20, 2024 03:01 3s
fix readme ci #54: Commit 8d24ffa pushed by PratherConid
February 20, 2024 02:57 2s main
main
February 20, 2024 02:57 2s
fix ci #53: Commit 564469f pushed by PratherConid
February 20, 2024 02:48 2s main
main
February 20, 2024 02:48 2s
remove preferReleaseBuild for now ci #52: Commit 7bc4013 pushed by kim-em
February 18, 2024 08:56 2s nightly-testing
nightly-testing
February 18, 2024 08:56 2s
ci ci #51: by kim-em
February 18, 2024 08:56 7m 4s nightly-testing-2024-02-18
nightly-testing-2024-02-18
February 18, 2024 08:56 7m 4s
adaptations required for nightly-2024-02-18 ci #50: Commit ba9ad2d pushed by kim-em
February 18, 2024 08:36 10m 38s nightly-testing-2024-02-18
nightly-testing-2024-02-18
February 18, 2024 08:36 10m 38s
adaptations required for nightly-2024-02-18 ci #49: Pull request #19 opened by kim-em
February 18, 2024 08:35 2s bump/v4.7.0
bump/v4.7.0
February 18, 2024 08:35 2s
adaptations required for nightly-2024-02-18 ci #48: Commit ba9ad2d pushed by kim-em
February 18, 2024 08:35 1s bump/v4.7.0
bump/v4.7.0
February 18, 2024 08:35 1s
adaptations required for nightly-2024-02-18 ci #47: Commit ba9ad2d pushed by kim-em
February 18, 2024 08:33 2s nightly-testing
nightly-testing
February 18, 2024 08:33 2s
small fix ci #46: Commit b9f4ce2 pushed by PratherConid
February 16, 2024 01:09 3s main
main
February 16, 2024 01:09 3s
Merge pull request #18 from dranov/tyctor-warning ci #45: Commit abbe4b3 pushed by PratherConid
February 15, 2024 13:53 2s main
main
February 15, 2024 13:53 2s
Fix string-format in warning for inductive types ci #44: Pull request #18 synchronize by PratherConid
February 15, 2024 13:52 2s dranov:tyctor-warning
dranov:tyctor-warning
February 15, 2024 13:52 2s
Merge pull request #16 from dranov/exists-nat ci #43: Commit e0e3d67 pushed by PratherConid
February 15, 2024 13:45 3s main
main
February 15, 2024 13:45 3s
Fix existentially quantified Nats ci #42: Pull request #16 synchronize by PratherConid
February 15, 2024 13:44 2s dranov:exists-nat
dranov:exists-nat
February 15, 2024 13:44 2s
fix ci #41: Commit a026f4a pushed by PratherConid
February 15, 2024 13:35 3s main
main
February 15, 2024 13:35 3s
Follow TPTP SyntaxBNF ci #40: Commit 6f6587b pushed by PratherConid
February 15, 2024 13:27 3s main
main
February 15, 2024 13:27 3s
Merge pull request #14 from leanprover-community/duper2 ci #39: Commit 2c3e8c8 pushed by PratherConid
February 15, 2024 13:25 2s main
main
February 15, 2024 13:25 2s
Merge pull request #17 from leanprover-community/bump_std ci #38: Commit 17787c7 pushed by PratherConid
February 15, 2024 12:41 2s main
main
February 15, 2024 12:41 2s
pin std to v4.6.0-rc1 ci #37: Commit 9310520 pushed by PratherConid
February 15, 2024 12:34 9m 48s v4.6.0-rc1
v4.6.0-rc1
February 15, 2024 12:34 9m 48s
feat: bump Std ci #35: Pull request #17 opened by kim-em
February 15, 2024 03:30 2s bump_std
bump_std
February 15, 2024 03:30 2s
feat: bump Std ci #34: Commit 03e24af pushed by kim-em
February 15, 2024 03:26 2s bump_std
bump_std
February 15, 2024 03:26 2s
TPTP Parser Bug Fix ci #32: Commit b535939 pushed by JOSHCLUNE
February 3, 2024 03:46 12m 29s v0.0.6
v0.0.6
February 3, 2024 03:46 12m 29s
TPTP Parser Bug Fix ci #31: Pull request #14 opened by JOSHCLUNE
February 3, 2024 03:42 2s duper2
duper2
February 3, 2024 03:42 2s
TPTP Parser Bug Fix ci #30: Commit b535939 pushed by JOSHCLUNE
February 3, 2024 03:41 2s duper2
duper2
February 3, 2024 03:41 2s
ProTip! You can narrow down the results and go further in time using created:<2024-02-03 or the other filters available.