Skip to content

Actions: leanprover-community/duper

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
214 workflow runs
214 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
feat: resolve deprecation warnings for Lean.levelOne and Lean.levelZero ci #91: Pull request #77 opened by srghma
Action required srghma:update-to-nightly
srghma:update-to-nightly
Action required
Update lean-auto ci #90: Commit a05206e pushed by JOSHCLUNE
1s dev
dev
1s
Update lean-auto ci #89: Commit ecf65ac pushed by JOSHCLUNE
1s dev
dev
1s
Merge pull request #76 from leanprover-community/querySMT ci #88: Commit 2ed404f pushed by JOSHCLUNE
2s dev
dev
2s
Merge changes from querySMT branch ci #87: Pull request #76 opened by JOSHCLUNE
1s querySMT
querySMT
1s
Change lean-auto dependency to follow the hammer branch ci #86: Commit c65a3e7 pushed by JOSHCLUNE
1s querySMT
querySMT
1s
Update lean-auto ci #85: Commit b0098f6 pushed by JOSHCLUNE
1s querySMT
querySMT
1s
Merge branch 'dev' into querySMT ci #84: Commit 073e08b pushed by JOSHCLUNE
1s querySMT
querySMT
1s
Merge pull request #75 from leanprover-community/main ci #83: Commit 8103005 pushed by JOSHCLUNE
1s dev
dev
1s
Update dev to match main ci #82: Pull request #75 opened by JOSHCLUNE
1s main
main
1s
Update README ci #81: Commit 301f202 pushed by JOSHCLUNE
9m 54s v4.29.0
v4.29.0
9m 54s
Update README ci #80: Commit 301f202 pushed by JOSHCLUNE
1s main
main
1s
Merge pull request #74 from leanprover-community/dev ci #79: Commit 8c18127 pushed by JOSHCLUNE
1s main
main
1s
Dev ci #78: Pull request #74 opened by JOSHCLUNE
1s dev
dev
1s
Update to v4.29.0 ci #77: Commit 5399101 pushed by JOSHCLUNE
1s dev
dev
1s
Remove old TODO ci #76: Commit badb5a6 pushed by JOSHCLUNE
1s dev
dev
1s
Merge pull request #73 from leanprover-community/dev ci #75: Commit 4aa43d4 pushed by JOSHCLUNE
10m 32s v4.28.0
v4.28.0
10m 32s
Merge pull request #73 from leanprover-community/dev ci #74: Commit 4aa43d4 pushed by JOSHCLUNE
1s main
main
1s
Dev ci #73: Pull request #73 opened by JOSHCLUNE
1s dev
dev
1s
Update to v4.28.0 ci #72: Commit 82606cd pushed by JOSHCLUNE
2s dev
dev
2s
Merge pull request #72 from leanprover-community/main ci #71: Commit a48db35 pushed by JOSHCLUNE
Skipped dev
dev
Skipped
Update dev to match main ci #70: Pull request #72 opened by JOSHCLUNE
1s main
main
1s
Update README to include instructions for projects using .toml files ci #69: Commit 7991986 pushed by JOSHCLUNE
1s main
main
1s
Resolve bug relating to unreduced let expressions ci #68: Commit 8cfd6c4 pushed by JOSHCLUNE
1s dev
dev
1s
Resolve datatype distinctness bug ci #67: Commit b1a964c pushed by JOSHCLUNE
Skipped dev
dev
Skipped