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

SMT names that match Lean names ci #107: Pull request #26 synchronize by PratherConid
May 18, 2024 13:24 2s dranov:smt-names
dranov:smt-names
May 18, 2024 13:24 2s
fix monomorphization issue ci #106: Commit dbf2ad7 pushed by PratherConid
May 18, 2024 13:23 2s main
main
May 18, 2024 13:23 2s
Track constructors through the monomorphization procedure ci #105: Commit 3a973bb pushed by JOSHCLUNE
May 18, 2024 10:17 2s duper2
duper2
May 18, 2024 10:17 2s
SMT names that match Lean names ci #104: Pull request #26 synchronize by PratherConid
May 18, 2024 09:47 2s dranov:smt-names
dranov:smt-names
May 18, 2024 09:47 2s
SMT names that match Lean names ci #103: Pull request #26 synchronize by dranov
May 17, 2024 06:40 3s dranov:smt-names
dranov:smt-names
May 17, 2024 06:40 3s
SMT names that match Lean names ci #102: Pull request #26 synchronize by dranov
May 17, 2024 05:54 2s dranov:smt-names
dranov:smt-names
May 17, 2024 05:54 2s
SMT names that match Lean names ci #101: Pull request #26 opened by dranov
May 16, 2024 08:20 2s dranov:smt-names
dranov:smt-names
May 16, 2024 08:20 2s
chore ci #100: Commit c2a2c0a pushed by PratherConid
May 2, 2024 17:18 3s main
main
May 2, 2024 17:18 3s
bug fix ci #99: Commit cbf357a pushed by PratherConid
May 2, 2024 14:05 3s main
main
May 2, 2024 14:05 3s
update monomorphic testing ci #98: Commit bde829b pushed by PratherConid
May 2, 2024 13:42 2s main
main
May 2, 2024 13:42 2s
bug fix ci #97: Commit 17a4e94 pushed by PratherConid
May 2, 2024 11:22 3s main
main
May 2, 2024 11:22 3s
more strict monomorphization ci #96: Commit 74a99bc pushed by PratherConid
May 2, 2024 09:02 2s main
main
May 2, 2024 09:02 2s
auto.smt.dumpHints.limitedRws ci #95: Commit 29d65a8 pushed by JOSHCLUNE
April 29, 2024 22:49 2s duper2
duper2
April 29, 2024 22:49 2s
revert ci #94: Commit 12e3175 pushed by PratherConid
April 25, 2024 07:33 2s main
main
April 25, 2024 07:33 2s
remove fvarstoabstract ci #93: Commit 218dbe2 pushed by PratherConid
April 22, 2024 15:46 2s main
main
April 22, 2024 15:46 2s
update comment ci #92: Commit dc019c6 pushed by PratherConid
April 20, 2024 18:06 2s main
main
April 20, 2024 18:06 2s
fix Meta.trySynthInstance ci #91: Commit a573e74 pushed by PratherConid
April 20, 2024 17:33 3s main
main
April 20, 2024 17:33 3s
update ci #90: Commit 962292a pushed by PratherConid
April 20, 2024 17:08 2s main
main
April 20, 2024 17:08 2s
begin implementing new monomorphization procedure ci #89: Commit 17b61b2 pushed by PratherConid
April 20, 2024 12:19 2s main
main
April 20, 2024 12:19 2s
update docstring ci #88: Commit e4f0cfc pushed by PratherConid
April 19, 2024 17:13 3s main
main
April 19, 2024 17:13 3s
more permissive monomorphization ci #87: Commit 9184f4b pushed by PratherConid
April 19, 2024 12:51 2s main
main
April 19, 2024 12:51 2s
let monomorphization fail explicitly ci #86: Commit 6b89fca pushed by PratherConid
April 19, 2024 12:26 2s main
main
April 19, 2024 12:26 2s
fix printvaluation ci #85: Commit 56b6388 pushed by PratherConid
April 19, 2024 10:31 2s main
main
April 19, 2024 10:31 2s
update ci #84: Commit e2fe232 pushed by PratherConid
April 17, 2024 12:50 3s main
main
April 17, 2024 12:50 3s
trimming one more time ci #83: Commit b0ac73e pushed by PratherConid
April 16, 2024 02:30 3s main
main
April 16, 2024 02:30 3s