Skip to content

Actions: leanprover/verso

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ 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
doc.verso: deleting prose from one docstring makes a later proof fail Decidable synthesis (elaboration state leak?) Prettier on PR Comment #180: Issue comment #963 (comment) created by Deicyde
1s
1s
doc.verso: deleting prose from one docstring makes a later proof fail Decidable synthesis (elaboration state leak?) Fix toolchain consistency on PR Comment #102: Issue comment #963 (comment) created by Deicyde
1s
1s
Update nightly-testing Update nightly-testing #1278: Scheduled
2m 0s main
main
2m 0s
Merge main to nightly Merge main to nightly #1291: Scheduled
10m 33s main
main
10m 33s
Update nightly-testing Update nightly-testing #1277: Scheduled
2m 39s main
main
2m 39s
Merge main to nightly Merge main to nightly #1290: Scheduled
9m 44s main
main
9m 44s
Deploy PR Preview Deploy PR Preview #954: completed by david-christiansen
12s
12s
feat: add the Errata test framework Consistent subproject dependencies #2136: Pull request #956 synchronize by david-christiansen
8s test-framework-1
test-framework-1
8s
feat: add the Errata test framework Check Code Formatting #999: Pull request #956 synchronize by david-christiansen
15s test-framework-1
test-framework-1
15s
feat: add the Errata test framework All test modules imported #777: Pull request #956 synchronize by david-christiansen
9s test-framework-1
test-framework-1
9s
feat: add the Errata test framework Check for trailing newlines #1017: Pull request #956 synchronize by david-christiansen
11s test-framework-1
test-framework-1
11s
feat: add the Errata test framework Release note required #32: Pull request #956 synchronize by david-christiansen
7s test-framework-1
test-framework-1
7s
feat: add the Errata test framework Lint GitHub Actions workflows #989: Pull request #956 synchronize by david-christiansen
19s test-framework-1
test-framework-1
19s
feat: add the Errata test framework Check for copyright header and too-big Lean imports #2136: Pull request #956 synchronize by david-christiansen
9s test-framework-1
test-framework-1
9s
feat: add the Errata test framework Continuous Integration #3178: Pull request #956 synchronize by david-christiansen
14m 27s test-framework-1
test-framework-1
14m 27s
feat: add the Errata test framework No #eval in source files #781: Pull request #956 synchronize by david-christiansen
7s test-framework-1
test-framework-1
7s
feat: add the Errata test framework Check toolchain file #1539: Pull request #956 synchronize by david-christiansen
8s test-framework-1
test-framework-1
8s
Update nightly-testing Update nightly-testing #1276: Scheduled
1m 36s main
main
1m 36s
Merge main to nightly Merge main to nightly #1289: Scheduled
8m 4s main
main
8m 4s
Update nightly-testing Update nightly-testing #1275: Scheduled
1m 21s main
main
1m 21s
Merge main to nightly Merge main to nightly #1288: Scheduled
6m 24s main
main
6m 24s
Update nightly-testing Update nightly-testing #1274: Scheduled
1m 31s main
main
1m 31s
Merge main to nightly Merge main to nightly #1287: Scheduled
6m 4s main
main
6m 4s
Update nightly-testing Update nightly-testing #1273: Scheduled
1m 32s main
main
1m 32s
Merge main to nightly Merge main to nightly #1286: Scheduled
7m 27s main
main
7m 27s