Skip to content

Actions: leanprover-community/lean-auto

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
271 workflow runs
271 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

better trace message for non quasi higher-order ci #276: Commit d62b650 pushed by PratherConid
January 13, 2025 06:11 3s main
main
January 13, 2025 06:11 3s
fix termlikedefeq issue ci #275: Commit 57c655e pushed by PratherConid
January 13, 2025 01:34 2s main
main
January 13, 2025 01:34 2s
add nonterminates ci #274: Commit 12b16cc pushed by PratherConid
January 12, 2025 21:58 2s main
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
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
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
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
main
January 11, 2025 07:04 2s
set ignorenonquasi option ci #269: Commit 26d9cb3 pushed by PratherConid
January 11, 2025 04:29 3s main
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
duper2
January 10, 2025 05:52 3s
Adding support for mutually inductive datatypes to well-formed constr… ci #267: Commit 37a909c pushed by JOSHCLUNE
January 10, 2025 04:50 3s duper2
duper2
January 10, 2025 04:50 3s
Added Nat.sub and ite support to SMTParser ci #266: Commit 008a6c5 pushed by JOSHCLUNE
January 9, 2025 00:26 3s duper2
duper2
January 9, 2025 00:26 3s
Refactor SMTParser ci #265: Commit 650f7f5 pushed by JOSHCLUNE
January 8, 2025 04:51 3s duper2
duper2
January 8, 2025 04:51 3s
fix messages ci #264: Commit 128b097 pushed by PratherConid
January 8, 2025 00:07 3s main
main
January 8, 2025 00:07 3s
fix ci #263: Commit ce5671f pushed by PratherConid
January 7, 2025 23:05 3s main
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
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
main
January 7, 2025 21:36 3s
Better projection handling, beginning to deal with Nat/Int casts ci #260: Commit cdba40c pushed by JOSHCLUNE
January 7, 2025 06:25 3s duper2
duper2
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
duper2
January 6, 2025 10:54 3s
small fix ci #258: Commit 6886c60 pushed by PratherConid
January 6, 2025 09:34 3s main
main
January 6, 2025 09:34 3s
parsing evaluation result ci #257: Commit ec1e82e pushed by PratherConid
January 6, 2025 07:54 3s main
main
January 6, 2025 07:54 3s
concurrent evaluation ci #256: Commit 66d55fd pushed by PratherConid
January 6, 2025 05:49 2s main
main
January 6, 2025 05:49 2s
tactic test code mostly done ci #255: Commit beca432 pushed by PratherConid
January 6, 2025 03:08 3s main
main
January 6, 2025 03:08 3s
fix aesop invocation ci #254: Commit 26f82a7 pushed by PratherConid
January 6, 2025 00:36 3s main
main
January 6, 2025 00:36 3s
more test code ci #253: Commit 02b2947 pushed by PratherConid
January 5, 2025 10:35 2s main
main
January 5, 2025 10:35 2s
bump to v4.15.0 ci #252: Commit 30441a8 pushed by PratherConid
January 4, 2025 08:51 3s main
main
January 4, 2025 08:51 3s