Skip to content

Actions: leanprover-community/lean-auto

Actions

ci

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
278 workflow runs
278 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Test code ci #206: Commit c89aa2f pushed by PratherConid
November 27, 2024 08:58 2s main
main
November 27, 2024 08:58 2s
use decl_name% ci #205: Commit 3e894ca pushed by PratherConid
November 27, 2024 03:30 2s main
main
November 27, 2024 03:30 2s
clean up corecheck code ci #204: Commit 2078181 pushed by PratherConid
November 26, 2024 09:41 3s main
main
November 26, 2024 09:41 3s
Support for cond ci #203: Commit fb61533 pushed by PratherConid
November 26, 2024 04:37 3s main
main
November 26, 2024 04:37 3s
fix duper prelude in readme ci #202: Commit 2511ca2 pushed by PratherConid
November 24, 2024 08:36 2s main
main
November 24, 2024 08:36 2s
Fixes #38 ci #201: Commit a50480e pushed by PratherConid
November 24, 2024 07:26 3s main
main
November 24, 2024 07:26 3s
fix small issues ci #200: Commit 5367bcd pushed by PratherConid
November 24, 2024 03:58 2s main
main
November 24, 2024 03:58 2s
update to v4.13.0 ci #199: Commit 52f3d98 pushed by PratherConid
November 24, 2024 03:49 2s main
main
November 24, 2024 03:49 2s
update readme ci #198: Commit 4c4bcdd pushed by PratherConid
November 24, 2024 01:57 2s main
main
November 24, 2024 01:57 2s
Merge pull request #35 from abdoo8080/patch-1 ci #197: Commit d9af64d pushed by PratherConid
November 24, 2024 01:52 2s main
main
November 24, 2024 01:52 2s
remove reorderForallInstDep ci #196: Commit 91e5820 pushed by PratherConid
November 21, 2024 07:30 3s main
main
November 21, 2024 07:30 3s
fix minor issue in monomorphization ci #195: Commit 420bc92 pushed by PratherConid
November 6, 2024 09:03 2s main
main
November 6, 2024 09:03 2s
Update to lean v4.13.0 ci #194: Commit 9158025 pushed by JOSHCLUNE
November 4, 2024 03:32 2s duper2
duper2
November 4, 2024 03:32 2s
Somewhat standardize runAutoGetHints error messages to determine wher… ci #193: Commit 0728f38 pushed by JOSHCLUNE
October 31, 2024 03:50 3s duper2
duper2
October 31, 2024 03:50 3s
Update to lean v4.12.0 ci #192: Commit 680d6d5 pushed by JOSHCLUNE
October 24, 2024 04:19 2s duper2
duper2
October 24, 2024 04:19 2s
Merge pull request #36 from leanprover-community/main ci #191: Commit b3a3bd9 pushed by JOSHCLUNE
October 23, 2024 23:00 2s duper2
duper2
October 23, 2024 23:00 2s
fix trace bugs ci #190: Pull request #36 opened by JOSHCLUNE
October 23, 2024 22:59 2s main
main
October 23, 2024 22:59 2s
fix trace bugs ci #188: Commit 60e546c pushed by PratherConid
October 21, 2024 03:55 2s main
main
October 21, 2024 03:55 2s
Merge pull request #34 from leanprover-community/main ci #187: Commit 5149acf pushed by JOSHCLUNE
October 21, 2024 01:46 1s duper2
duper2
October 21, 2024 01:46 1s
change interface signature ci #186: Pull request #34 opened by JOSHCLUNE
October 21, 2024 01:46 2s main
main
October 21, 2024 01:46 2s
change interface signature ci #185: Commit 6deffa2 pushed by PratherConid
October 20, 2024 00:38 2s main
main
October 20, 2024 00:38 2s
Propagate leadingForallQuasiMonomorphic bug fix ci #184: Commit 1acd0e5 pushed by JOSHCLUNE
October 17, 2024 19:31 3s duper2
duper2
October 17, 2024 19:31 3s
Merge pull request #33 from leanprover-community/main ci #183: Commit f8700fc pushed by JOSHCLUNE
October 17, 2024 19:29 3s duper2
duper2
October 17, 2024 19:29 3s