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

runAutoGetHints now also returns unsatCoreDerivLeafStrings ci #157: Commit 86a01b3 pushed by JOSHCLUNE
August 7, 2024 17:35 2s duper2
duper2
August 7, 2024 17:35 2s
Parse either general rwRule or rwRule instances, but not both ci #156: Commit ad14dd8 pushed by JOSHCLUNE
August 6, 2024 19:46 3s duper2
duper2
August 6, 2024 19:46 3s
Added datatype selector support ci #155: Commit 6b4f64a pushed by JOSHCLUNE
August 5, 2024 16:51 2s duper2
duper2
August 5, 2024 16:51 2s
Set SMT 'Bool' interpretation as Bool by default ci #154: Commit 9daa71f pushed by JOSHCLUNE
August 3, 2024 04:41 3s duper2
duper2
August 3, 2024 04:41 3s
Add rwFacts parsing note ci #153: Commit fa878ee pushed by JOSHCLUNE
August 2, 2024 21:55 2s duper2
duper2
August 2, 2024 21:55 2s
Parse Bool quantifiers correctly ci #152: Commit 4bcc5dd pushed by JOSHCLUNE
August 1, 2024 02:11 2s duper2
duper2
August 1, 2024 02:11 2s
Minor bug fix (use true instead of True) ci #151: Commit 3101539 pushed by JOSHCLUNE
July 31, 2024 12:36 2s duper2
duper2
July 31, 2024 12:36 2s
When SMTParser invokes decide, reduce the result so decide does not a… ci #150: Commit 401933b pushed by JOSHCLUNE
July 31, 2024 05:11 3s duper2
duper2
July 31, 2024 05:11 3s
Remove dbg_trace statement ci #149: Commit 1ba441f pushed by JOSHCLUNE
July 27, 2024 16:50 2s duper2
duper2
July 27, 2024 16:50 2s
Added ParseTermConstraint to SMTParser.lean ci #148: Commit 320d2cd pushed by JOSHCLUNE
July 27, 2024 16:21 2s duper2
duper2
July 27, 2024 16:21 2s
Update to lean v4.9.1 ci #147: Commit bfb20f9 pushed by JOSHCLUNE
July 20, 2024 04:26 2s duper2
duper2
July 20, 2024 04:26 2s
Merge remote-tracking branch 'origin/main' into duper2 ci #146: Commit 83baebb pushed by JOSHCLUNE
July 20, 2024 04:16 2s duper2
duper2
July 20, 2024 04:16 2s
Support for Bool->Prop coercions ci #145: Commit 27c712f pushed by JOSHCLUNE
July 19, 2024 18:04 2s duper2
duper2
July 19, 2024 18:04 2s
Merge pull request #28 from dranov/cvc5-model-comments ci #144: Commit 0831a6e pushed by PratherConid
July 18, 2024 15:00 3s main
main
July 18, 2024 15:00 3s
Fix CVC5 model comments ci #143: Pull request #28 opened by dranov
July 10, 2024 06:16 2s dranov:cvc5-model-comments
dranov:cvc5-model-comments
July 10, 2024 06:16 2s
SMT Parsing support for testers of non-polymorphic inductive datatypes ci #142: Commit 7e475ff pushed by JOSHCLUNE
July 8, 2024 07:33 3s duper2
duper2
July 8, 2024 07:33 3s
Using SMT.withExprValuation in querySMTForHints to get Lean Expr from… ci #141: Commit 6262c28 pushed by JOSHCLUNE
July 8, 2024 04:56 2s duper2
duper2
July 8, 2024 04:56 2s
bump toolchain to v4.9.0 ci #140: Commit 5428213 pushed by PratherConid
July 3, 2024 16:49 3s main
main
July 3, 2024 16:49 3s
Merge remote-tracking branch 'origin/main' into duper2 ci #139: Commit d90cb1a pushed by JOSHCLUNE
July 1, 2024 22:09 3s duper2
duper2
July 1, 2024 22:09 3s
clean up, resolves #25 ci #138: Commit 0f5f39a pushed by PratherConid
June 24, 2024 16:47 2s main
main
June 24, 2024 16:47 2s
Merge pull request #27 from dranov/bump-v4.8.0 ci #137: Commit eed299f pushed by PratherConid
June 24, 2024 16:26 2s main
main
June 24, 2024 16:26 2s
Bump toolchain to v4.8.0 ci #136: Pull request #27 opened by dranov
June 24, 2024 12:48 3s dranov:bump-v4.8.0
dranov:bump-v4.8.0
June 24, 2024 12:48 3s
Commenting unnecessary eval statements ci #135: Commit 5a2ce7c pushed by JOSHCLUNE
June 20, 2024 00:38 2s duper2
duper2
June 20, 2024 00:38 2s
Updating to lean v4.8.0-rc2 ci #134: Commit 91cd0e8 pushed by JOSHCLUNE
May 27, 2024 04:29 1s duper2
duper2
May 27, 2024 04:29 1s
Updating to lean v4.8.0-rc1 ci #133: Commit adfddfc pushed by JOSHCLUNE
May 27, 2024 04:21 2s duper2
duper2
May 27, 2024 04:21 2s