Skip to content

Actions: leanprover-community/lean-auto

Actions

ci

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
276 workflow runs
276 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

temporary dirty trick for goals solvable by rfl ci #231: Commit c5d2731 pushed by PratherConid
December 19, 2024 08:10 3s main
main
December 19, 2024 08:10 3s
better error message for monomorphization failure ci #230: Commit d3963a3 pushed by PratherConid
December 18, 2024 02:05 2s main
main
December 18, 2024 02:05 2s
add more options to monomorphization ci #229: Commit 027d8de pushed by PratherConid
December 18, 2024 01:53 2s main
main
December 18, 2024 01:53 2s
Update to v4.14.0 ci #228: Commit 4d73b99 pushed by JOSHCLUNE
December 17, 2024 21:36 3s duper2
duper2
December 17, 2024 21:36 3s
fix ciinstdefeq bug ci #227: Commit b767264 pushed by PratherConid
December 17, 2024 21:15 3s main
main
December 17, 2024 21:15 3s
add definitional equality for constinsts ci #226: Commit a166fb6 pushed by PratherConid
December 17, 2024 09:40 3s main
main
December 17, 2024 09:40 3s
update ci #225: Commit fa3040a pushed by PratherConid
December 17, 2024 02:38 2s main
main
December 17, 2024 02:38 2s
fix monomorphization option ci #224: Commit ac9a616 pushed by PratherConid
December 17, 2024 01:38 2s main
main
December 17, 2024 01:38 2s
fix monomorphization saturation bug ci #223: Commit f7e1466 pushed by PratherConid
December 16, 2024 06:17 3s main
main
December 16, 2024 06:17 3s
modify LemmaInst.monomorphic? ci #222: Commit 150c660 pushed by PratherConid
December 15, 2024 23:27 2s main
main
December 15, 2024 23:27 2s
update on inductive type translation ci #221: Commit 0227edf pushed by PratherConid
December 12, 2024 23:38 2s main
main
December 12, 2024 23:38 2s
Merge main into duper2 ci #220: Commit 3357e49 pushed by JOSHCLUNE
December 10, 2024 13:28 4s duper2
duper2
December 10, 2024 13:28 4s
update monomode ci #219: Commit d437b8d pushed by PratherConid
December 10, 2024 06:34 4s main
main
December 10, 2024 06:34 4s
change timeout setting ci #218: Commit c024824 pushed by PratherConid
December 10, 2024 05:54 2s main
main
December 10, 2024 05:54 2s
add evaluation file support ci #217: Commit a958f1e pushed by PratherConid
December 9, 2024 08:49 3s main
main
December 9, 2024 08:49 3s
add --enum-inst option for cvc5 ci #216: Commit 8fc8cad pushed by PratherConid
December 4, 2024 01:16 3s main
main
December 4, 2024 01:16 3s
passing timeout option ci #215: Commit 436da90 pushed by PratherConid
December 2, 2024 19:10 2s main
main
December 2, 2024 19:10 2s
add randeval ci #214: Commit 28de206 pushed by PratherConid
November 30, 2024 04:56 2s main
main
November 30, 2024 04:56 2s
fix parsing and evaluation issue ci #213: Commit a0ce592 pushed by PratherConid
November 30, 2024 03:59 2s main
main
November 30, 2024 03:59 2s
update TPTP and SMT invocation ci #212: Commit 0522023 pushed by PratherConid
November 30, 2024 03:23 2s main
main
November 30, 2024 03:23 2s
setting up test configuration ci #211: Commit 53f85a0 pushed by PratherConid
November 29, 2024 08:42 2s main
main
November 29, 2024 08:42 2s
fix maxheartbeat issue ci #210: Commit a7bef18 pushed by PratherConid
November 28, 2024 03:06 2s main
main
November 28, 2024 03:06 2s
batch test ci #209: Commit 9521975 pushed by PratherConid
November 28, 2024 02:38 3s main
main
November 28, 2024 02:38 3s
fix preprocessing bug in test code ci #208: Commit 0867a4d pushed by PratherConid
November 27, 2024 19:48 2s main
main
November 27, 2024 19:48 2s
add evaluation bug ci #207: Commit 769fc6c pushed by PratherConid
November 27, 2024 09:00 3s main
main
November 27, 2024 09:00 3s