Skip to content

Actions: leanprover-community/duper

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
54 workflow run results
54 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix name clash with Std.Lean.CoreM Test Executable #55: Commit a0a6e84 pushed by PratherConid
November 4, 2023 05:12 2h 25m 33s main
main
November 4, 2023 05:12 2h 25m 33s
fix name clash with Std.Lean.CoreM Test #373: Commit a0a6e84 pushed by PratherConid
November 4, 2023 05:12 2h 56m 54s main
main
November 4, 2023 05:12 2h 56m 54s
update lake-manifest Test Executable #54: Commit bb3129b pushed by PratherConid
November 4, 2023 04:31 2h 22m 45s main
main
November 4, 2023 04:31 2h 22m 45s
update lake-manifest Test #372: Commit bb3129b pushed by PratherConid
November 4, 2023 04:31 4h 50m 2s main
main
November 4, 2023 04:31 4h 50m 2s
update lakefile Test Executable #53: Commit bb70966 pushed by PratherConid
November 4, 2023 04:04 1h 15m 33s main
main
November 4, 2023 04:04 1h 15m 33s
update lakefile Test #371: Commit bb70966 pushed by PratherConid
November 4, 2023 04:04 2h 57m 34s main
main
November 4, 2023 04:04 2h 57m 34s
Moved runDuperPortfolioMode to Interface.lean and made it a MetaM fun… Test #370: Commit aa788db pushed by JOSHCLUNE
November 3, 2023 19:48 4h 55m 58s main
main
November 3, 2023 19:48 4h 55m 58s
Moved runDuperPortfolioMode to Interface.lean and made it a MetaM fun… Test Executable #52: Commit aa788db pushed by JOSHCLUNE
November 3, 2023 19:48 2h 5m 1s main
main
November 3, 2023 19:48 2h 5m 1s
chore Test Executable #51: Commit 2a164b9 pushed by PratherConid
November 3, 2023 16:44 2h 21m 10s main
main
November 3, 2023 16:44 2h 21m 10s
chore Test #369: Commit 2a164b9 pushed by PratherConid
November 3, 2023 16:44 4h 56m 2s main
main
November 3, 2023 16:44 4h 56m 2s
add auto as dependency Test Executable #50: Commit 81c78e2 pushed by PratherConid
November 3, 2023 16:36 1m 57s main
main
November 3, 2023 16:36 1m 57s
add auto as dependency Test #368: Commit 81c78e2 pushed by PratherConid
November 3, 2023 16:36 1m 34s main
main
November 3, 2023 16:36 1m 34s
Changing Duper interface to make it easier for Auto to call Duper Test #367: Commit 4e92a8f pushed by JOSHCLUNE
November 3, 2023 07:04 4h 6m 51s main
main
November 3, 2023 07:04 4h 6m 51s
Changing Duper interface to make it easier for Auto to call Duper Test Executable #49: Commit 4e92a8f pushed by JOSHCLUNE
November 3, 2023 07:04 2h 24m 16s main
main
November 3, 2023 07:04 2h 24m 16s
DuperOnMathlib/Prime2.lean Test Executable #48: Commit 33d88af pushed by JOSHCLUNE
November 1, 2023 08:20 2h 5m 2s main
main
November 1, 2023 08:20 2h 5m 2s
DuperOnMathlib/Prime2.lean Test #366: Commit 33d88af pushed by JOSHCLUNE
November 1, 2023 08:20 4h 42m 30s main
main
November 1, 2023 08:20 4h 42m 30s
Adding another skolem issue to bugs.lean Test Executable #47: Commit 8c7553b pushed by JOSHCLUNE
November 1, 2023 06:19 2h 6m 42s main
main
November 1, 2023 06:19 2h 6m 42s
Adding another skolem issue to bugs.lean Test #365: Commit 8c7553b pushed by JOSHCLUNE
November 1, 2023 06:19 4h 43m 52s main
main
November 1, 2023 06:19 4h 43m 52s
Adding a skolem universe level bug to bugs.lean Test #364: Commit 6fb53b8 pushed by JOSHCLUNE
November 1, 2023 05:59 4h 11m 59s main
main
November 1, 2023 05:59 4h 11m 59s
Adding a skolem universe level bug to bugs.lean Test Executable #46: Commit 6fb53b8 pushed by JOSHCLUNE
November 1, 2023 05:59 2h 12m 56s main
main
November 1, 2023 05:59 2h 12m 56s
Duper no longer reads whole lctx by default Test #363: Commit 99c469b pushed by JOSHCLUNE
October 31, 2023 06:45 4h 54m 4s main
main
October 31, 2023 06:45 4h 54m 4s
Duper no longer reads whole lctx by default Test Executable #45: Commit 99c469b pushed by JOSHCLUNE
October 31, 2023 06:45 2h 1m 35s main
main
October 31, 2023 06:45 2h 1m 35s
Implementing duper? syntax Test Executable #44: Commit a48607a pushed by JOSHCLUNE
October 30, 2023 23:06 2h 3m 54s main
main
October 30, 2023 23:06 2h 3m 54s
Implementing duper? syntax Test #362: Commit a48607a pushed by JOSHCLUNE
October 30, 2023 23:06 4h 11m 22s main
main
October 30, 2023 23:06 4h 11m 22s
Improving portfolio mode to enable inhabitation reasoning as needed Test Executable #43: Commit 4d4368b pushed by JOSHCLUNE
October 29, 2023 19:21 2h 1m 34s main
main
October 29, 2023 19:21 2h 1m 34s