Skip to content

Actions: leanprover-community/duper

Actions

Test Executable

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test_exe.yml
235 workflow runs
235 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #22 from leanprover-community/dev Test Executable #195: 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 Executable #194: Commit 34330cf pushed by JOSHCLUNE
July 20, 2024 05:27 14s dev
dev
July 20, 2024 05:27 14s
Merge remote-tracking branch 'origin/main' into dev Test Executable #193: Commit a1bec2f pushed by JOSHCLUNE
July 20, 2024 04:47 22s dev
dev
July 20, 2024 04:47 22s
Modifying DatatypeExhaustiveness.lean to support dependent types Test Executable #192: Commit d800617 pushed by JOSHCLUNE
July 18, 2024 13:13 18s dev
dev
July 18, 2024 13:13 18s
Generate exhaustiveness facts for polymorphic inductive datatypes Test Executable #191: Commit fd54083 pushed by JOSHCLUNE
July 17, 2024 18:48 25s dev
dev
July 17, 2024 18:48 25s
Working towards polymorphic datatype exhaustiveness support Test Executable #190: Commit 08180dd pushed by JOSHCLUNE
July 17, 2024 05:04 17s dev
dev
July 17, 2024 05:04 17s
Update lean-auto Test Executable #189: 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 Executable #188: Commit dc83dfd pushed by JOSHCLUNE
July 6, 2024 19:37 14s dev
dev
July 6, 2024 19:37 14s
Proof reconstruction for currently implemented datatype exhaustivenes… Test Executable #187: Commit 2afe812 pushed by JOSHCLUNE
July 6, 2024 00:00 20s dev
dev
July 6, 2024 00:00 20s
mkEmptyDatatypeExhaustivenessProof Test Executable #186: Commit da16285 pushed by JOSHCLUNE
July 5, 2024 02:42 20s dev
dev
July 5, 2024 02:42 20s
Generate datatype exhaustiveness facts Test Executable #185: Commit 2e83711 pushed by JOSHCLUNE
July 5, 2024 02:12 19s dev
dev
July 5, 2024 02:12 19s
Disable datatype acyclicity rule (proof reconstruction not yet implem… Test Executable #184: Commit d53f474 pushed by JOSHCLUNE
July 4, 2024 20:13 20s main
main
July 4, 2024 20:13 20s
Merge pull request #21 from dranov/bump-v4.9.0 Test Executable #183: Commit d198aba pushed by JOSHCLUNE
July 4, 2024 04:29 16s main
main
July 4, 2024 04:29 16s
Added (limited) ability to collect inductive datatypes for the purpos… Test Executable #182: Commit 1a6c363 pushed by JOSHCLUNE
July 3, 2024 20:50 16s dev
dev
July 3, 2024 20:50 16s
Merge pull request #20 from leanprover-community/main Test Executable #181: Commit d1f5cd7 pushed by JOSHCLUNE
July 1, 2024 22:54 14s dev
dev
July 1, 2024 22:54 14s
Update version in README Test Executable #180: Commit f5cb3a2 pushed by JOSHCLUNE
July 1, 2024 22:53 23s main
main
July 1, 2024 22:53 23s
Merge pull request #19 from leanprover-community/dev Test Executable #179: Commit 053aef4 pushed by JOSHCLUNE
July 1, 2024 22:51 16s v0.0.14
v0.0.14
July 1, 2024 22:51 16s
Merge pull request #19 from leanprover-community/dev Test Executable #178: Commit 053aef4 pushed by JOSHCLUNE
July 1, 2024 22:47 16s main
main
July 1, 2024 22:47 16s
Update lean-auto Test Executable #177: Commit 1375a5c pushed by JOSHCLUNE
July 1, 2024 22:31 15s dev
dev
July 1, 2024 22:31 15s
README typo fix Test Executable #176: 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 Executable #175: Commit 2ab4c5b pushed by JOSHCLUNE
June 29, 2024 02:20 17s main
main
June 29, 2024 02:20 17s
Datatype acyclicity (no proof reconstruction yet) Test Executable #174: Commit 168cecc pushed by JOSHCLUNE
June 24, 2024 22:27 14s dev
dev
June 24, 2024 22:27 14s
Commenting out some unnecessary eval statements Test Executable #173: Commit 8077ac7 pushed by JOSHCLUNE
June 20, 2024 00:41 16s dev
dev
June 20, 2024 00:41 16s
Datatype injectivity rules Test Executable #172: Commit 1aea756 pushed by JOSHCLUNE
June 20, 2024 00:20 18s dev
dev
June 20, 2024 00:20 18s
Implemented datatypeDistinctness- rule Test Executable #171: Commit fe96ffb pushed by JOSHCLUNE
June 10, 2024 20:50 22s dev
dev
June 10, 2024 20:50 22s