Skip to content

Actions: leanprover-community/duper

Actions

Test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test.yml
244 workflow runs
244 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #22 from leanprover-community/dev Test #513: Commit 498dbc0 pushed by JOSHCLUNE
July 20, 2024 06:29 24s main
main
July 20, 2024 06:29 24s
Update to lean v4.9.1 Test #512: Commit 34330cf pushed by JOSHCLUNE
July 20, 2024 05:27 16s dev
dev
July 20, 2024 05:27 16s
Merge remote-tracking branch 'origin/main' into dev Test #511: Commit a1bec2f pushed by JOSHCLUNE
July 20, 2024 04:47 16s dev
dev
July 20, 2024 04:47 16s
Modifying DatatypeExhaustiveness.lean to support dependent types Test #510: Commit d800617 pushed by JOSHCLUNE
July 18, 2024 13:13 17s dev
dev
July 18, 2024 13:13 17s
Generate exhaustiveness facts for polymorphic inductive datatypes Test #509: Commit fd54083 pushed by JOSHCLUNE
July 17, 2024 18:48 18s dev
dev
July 17, 2024 18:48 18s
Working towards polymorphic datatype exhaustiveness support Test #508: Commit 08180dd pushed by JOSHCLUNE
July 17, 2024 05:04 16s dev
dev
July 17, 2024 05:04 16s
Update lean-auto Test #507: Commit 2a19ed2 pushed by JOSHCLUNE
July 8, 2024 07:38 23s dev
dev
July 8, 2024 07:38 23s
Ignore propositions when collecting inductive datatypes Test #506: Commit dc83dfd pushed by JOSHCLUNE
July 6, 2024 19:37 17s dev
dev
July 6, 2024 19:37 17s
Proof reconstruction for currently implemented datatype exhaustivenes… Test #505: Commit 2afe812 pushed by JOSHCLUNE
July 6, 2024 00:00 19s dev
dev
July 6, 2024 00:00 19s
mkEmptyDatatypeExhaustivenessProof Test #504: Commit da16285 pushed by JOSHCLUNE
July 5, 2024 02:42 21s dev
dev
July 5, 2024 02:42 21s
Generate datatype exhaustiveness facts Test #503: Commit 2e83711 pushed by JOSHCLUNE
July 5, 2024 02:12 22s dev
dev
July 5, 2024 02:12 22s
Disable datatype acyclicity rule (proof reconstruction not yet implem… Test #502: Commit d53f474 pushed by JOSHCLUNE
July 4, 2024 20:13 15s main
main
July 4, 2024 20:13 15s
Merge pull request #21 from dranov/bump-v4.9.0 Test #501: Commit d198aba pushed by JOSHCLUNE
July 4, 2024 04:29 17s main
main
July 4, 2024 04:29 17s
Added (limited) ability to collect inductive datatypes for the purpos… Test #500: Commit 1a6c363 pushed by JOSHCLUNE
July 3, 2024 20:50 14s dev
dev
July 3, 2024 20:50 14s
Merge pull request #20 from leanprover-community/main Test #499: Commit d1f5cd7 pushed by JOSHCLUNE
July 1, 2024 22:54 16s dev
dev
July 1, 2024 22:54 16s
Update version in README Test #498: Commit f5cb3a2 pushed by JOSHCLUNE
July 1, 2024 22:53 20s main
main
July 1, 2024 22:53 20s
Merge pull request #19 from leanprover-community/dev Test #497: Commit 053aef4 pushed by JOSHCLUNE
July 1, 2024 22:51 14s v0.0.14
v0.0.14
July 1, 2024 22:51 14s
Merge pull request #19 from leanprover-community/dev Test #496: Commit 053aef4 pushed by JOSHCLUNE
July 1, 2024 22:47 23s main
main
July 1, 2024 22:47 23s
Update lean-auto Test #495: Commit 1375a5c pushed by JOSHCLUNE
July 1, 2024 22:31 17s dev
dev
July 1, 2024 22:31 17s
README typo fix Test #494: Commit 435c35c pushed by JOSHCLUNE
June 29, 2024 07:11 15s main
main
June 29, 2024 07:11 15s
Merge pull request #18 from dranov/bump-v4.8.0 Test #493: Commit 2ab4c5b pushed by JOSHCLUNE
June 29, 2024 02:20 16s main
main
June 29, 2024 02:20 16s
Datatype acyclicity (no proof reconstruction yet) Test #492: Commit 168cecc pushed by JOSHCLUNE
June 24, 2024 22:27 16s dev
dev
June 24, 2024 22:27 16s
Commenting out some unnecessary eval statements Test #491: Commit 8077ac7 pushed by JOSHCLUNE
June 20, 2024 00:41 16s dev
dev
June 20, 2024 00:41 16s
Datatype injectivity rules Test #490: Commit 1aea756 pushed by JOSHCLUNE
June 20, 2024 00:20 17s dev
dev
June 20, 2024 00:20 17s
Implemented datatypeDistinctness- rule Test #489: Commit fe96ffb pushed by JOSHCLUNE
June 10, 2024 20:50 16s dev
dev
June 10, 2024 20:50 16s