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

trimming ci #82: Commit 20a0fee pushed by PratherConid
April 16, 2024 01:39 2s main
main
April 16, 2024 01:39 2s
Merge pull request #24 from atomb/smt-triggers ci #81: Commit 5cafe34 pushed by PratherConid
April 16, 2024 00:52 3s main
main
April 16, 2024 00:52 3s
Adding auto.getHints.failOnParseError option ci #80: Commit df285d9 pushed by JOSHCLUNE
April 14, 2024 19:37 3s duper2
duper2
April 14, 2024 19:37 3s
Parsing smt rationals ci #79: Commit 62faa00 pushed by JOSHCLUNE
April 14, 2024 15:42 2s duper2
duper2
April 14, 2024 15:42 2s
runAutoGetHints now returns all lemmas in sections ci #78: Commit 1282a54 pushed by JOSHCLUNE
April 12, 2024 23:25 2s duper2
duper2
April 12, 2024 23:25 2s
Merge branch 'main' of https://github.com/leanprover-community/lean-a… ci #77: Commit 2595c6e pushed by JOSHCLUNE
April 9, 2024 16:19 3s duper2
duper2
April 9, 2024 16:19 3s
trimming ci #75: Commit 27f1b26 pushed by PratherConid
April 5, 2024 07:11 3s main
main
April 5, 2024 07:11 3s
Merge pull request #23 from dranov/smtlib-comments ci #74: Commit f938d86 pushed by PratherConid
April 5, 2024 06:39 2s main
main
April 5, 2024 06:39 2s
Change lexer to ignore comments ci #73: Pull request #23 opened by dranov
April 5, 2024 06:26 3s dranov:smtlib-comments
dranov:smtlib-comments
April 5, 2024 06:26 3s
lamFOL2SMTWithL2hMap ci #72: Commit 51a9dfd pushed by JOSHCLUNE
April 2, 2024 02:36 3s duper2
duper2
April 2, 2024 02:36 3s
autoGetHints ci #71: Commit 8ff83d6 pushed by JOSHCLUNE
March 31, 2024 01:08 3s duper2
duper2
March 31, 2024 01:08 3s
Updating duper2 to match main ci #70: Commit 041898f pushed by JOSHCLUNE
March 26, 2024 20:15 3s duper2
duper2
March 26, 2024 20:15 3s
update to v4.7.0-rc2 ci #69: Commit 1507142 pushed by PratherConid
March 14, 2024 03:38 2s main
main
March 14, 2024 03:38 2s
update lean to 4.7.0-rc1 ci #68: Commit bbd597b pushed by PratherConid
March 14, 2024 02:58 1s main
main
March 14, 2024 02:58 1s
fixing issues ci #67: Commit 6386901 pushed by PratherConid
March 13, 2024 16:31 2s main
main
March 13, 2024 16:31 2s
update lean ci #66: Commit b8dcddf pushed by PratherConid
March 13, 2024 16:00 2s main
main
March 13, 2024 16:00 2s
Merge pull request #19 from leanprover-community/bump/v4.7.0 ci #65: Commit 39634b8 pushed by PratherConid
March 13, 2024 15:46 2s main
main
March 13, 2024 15:46 2s
Began migrating to lean4:v4.7.0-rc2. Currently stuck on updating LamS… ci #64: Commit 1b48353 pushed by JOSHCLUNE
March 13, 2024 15:36 2s duper2
duper2
March 13, 2024 15:36 2s
update ci #63: Commit 468c914 pushed by kim-em
February 22, 2024 10:02 4m 59s nightly-testing-2024-02-22
nightly-testing-2024-02-22
February 22, 2024 10:02 4m 59s
update ci #62: Commit 468c914 pushed by kim-em
February 22, 2024 10:01 3s nightly-testing
nightly-testing
February 22, 2024 10:01 3s
no more Std ci #61: Commit 0be1616 pushed by kim-em
February 22, 2024 05:23 9m 27s nightly-testing-2024-02-21
nightly-testing-2024-02-21
February 22, 2024 05:23 9m 27s
no more Std ci #60: Commit 0be1616 pushed by kim-em
February 22, 2024 05:22 2s nightly-testing
nightly-testing
February 22, 2024 05:22 2s
remove import Std where possible ci #59: Commit 6ec8300 pushed by kim-em
February 20, 2024 23:40 9m 30s nightly-testing-2024-02-20
nightly-testing-2024-02-20
February 20, 2024 23:40 9m 30s
remove import Std where possible ci #58: Commit 6ec8300 pushed by kim-em
February 20, 2024 23:36 2s nightly-testing
nightly-testing
February 20, 2024 23:36 2s
Merge pull request #20 from leanprover-community/main ci #57: Commit 9bfc3ca pushed by JOSHCLUNE
February 20, 2024 21:43 10m 51s v0.0.7
v0.0.7
February 20, 2024 21:43 10m 51s