Skip to content

Actions: leanprover-community/lean-auto

Actions

ci

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
277 workflow runs
277 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

update
ci #282: Commit 1169b8a pushed by PratherConid
January 15, 2025 09:05 3s main
January 15, 2025 09:05 3s
save names when evaluating tactics
ci #281: Commit 8607f94 pushed by PratherConid
January 14, 2025 09:38 3s main
January 14, 2025 09:38 3s
add size test
ci #280: Commit 6b26405 pushed by PratherConid
January 14, 2025 09:29 3s main
January 14, 2025 09:29 3s
add timing information in evaluation output
ci #279: Commit 0582110 pushed by PratherConid
January 14, 2025 00:37 3s main
January 14, 2025 00:37 3s
rename function
ci #278: Commit 75bebcf pushed by PratherConid
January 13, 2025 19:36 3s main
January 13, 2025 19:36 3s
save names when evaluating auto
ci #277: Commit bec0244 pushed by PratherConid
January 13, 2025 19:13 3s main
January 13, 2025 19:13 3s
better trace message for non quasi higher-order
ci #276: Commit d62b650 pushed by PratherConid
January 13, 2025 06:11 3s main
January 13, 2025 06:11 3s
fix termlikedefeq issue
ci #275: Commit 57c655e pushed by PratherConid
January 13, 2025 01:34 2s main
January 13, 2025 01:34 2s
add nonterminates
ci #274: Commit 12b16cc pushed by PratherConid
January 12, 2025 21:58 2s main
January 12, 2025 21:58 2s
use timestamp instead of IO.monoMsNow
ci #273: Commit 1c67721 pushed by PratherConid
January 12, 2025 09:38 2s main
January 12, 2025 09:38 2s
add IO.monoMsNow time stamp
ci #272: Commit 8650ab9 pushed by PratherConid
January 12, 2025 09:32 3s main
January 12, 2025 09:32 3s
Update to lean v4.15.0
ci #271: Commit 997d810 pushed by JOSHCLUNE
January 11, 2025 18:27 2s duper2
January 11, 2025 18:27 2s
add readresult for auto evaluation
ci #270: Commit 384d308 pushed by PratherConid
January 11, 2025 07:04 2s main
January 11, 2025 07:04 2s
set ignorenonquasi option
ci #269: Commit 26d9cb3 pushed by PratherConid
January 11, 2025 04:29 3s main
January 11, 2025 04:29 3s
Minor bug fix in correctType
ci #268: Commit 35dd124 pushed by JOSHCLUNE
January 10, 2025 05:52 3s duper2
January 10, 2025 05:52 3s
Added Nat.sub and ite support to SMTParser
ci #266: Commit 008a6c5 pushed by JOSHCLUNE
January 9, 2025 00:26 3s duper2
January 9, 2025 00:26 3s
Refactor SMTParser
ci #265: Commit 650f7f5 pushed by JOSHCLUNE
January 8, 2025 04:51 3s duper2
January 8, 2025 04:51 3s
fix messages
ci #264: Commit 128b097 pushed by PratherConid
January 8, 2025 00:07 3s main
January 8, 2025 00:07 3s
fix
ci #263: Commit ce5671f pushed by PratherConid
January 7, 2025 23:05 3s main
January 7, 2025 23:05 3s
eval auto on mathlib
ci #262: Commit 2e43ab8 pushed by PratherConid
January 7, 2025 22:30 3s main
January 7, 2025 22:30 3s
add support for raw native prover
ci #261: Commit 25c8f25 pushed by PratherConid
January 7, 2025 21:36 3s main
January 7, 2025 21:36 3s
January 7, 2025 06:25 3s
Began implementing well-formed predicates
ci #259: Commit 6f70ba4 pushed by JOSHCLUNE
January 6, 2025 10:54 3s duper2
January 6, 2025 10:54 3s
small fix
ci #258: Commit 6886c60 pushed by PratherConid
January 6, 2025 09:34 3s main
January 6, 2025 09:34 3s