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
feat: For HTML output, add Table of Contents resize handle Check for copyright header and too-big Lean imports #1766: Pull request #846 synchronize by richardlford
Action required richardlford:rlf-mods
richardlford:rlf-mods
Action required
feat: For HTML output, add Table of Contents resize handle Continuous Integration #2724: Pull request #846 synchronize by richardlford
Action required richardlford:rlf-mods
richardlford:rlf-mods
Action required
feat: For HTML output, add Table of Contents resize handle All test modules imported #411: Pull request #846 synchronize by richardlford
Action required richardlford:rlf-mods
richardlford:rlf-mods
Action required
feat: For HTML output, add Table of Contents resize handle Check Code Formatting #629: Pull request #846 synchronize by richardlford
Action required richardlford:rlf-mods
richardlford:rlf-mods
Action required
feat: For HTML output, add Table of Contents resize handle Lint GitHub Actions workflows #619: Pull request #846 synchronize by richardlford
Action required richardlford:rlf-mods
richardlford:rlf-mods
Action required
feat: For HTML output, add Table of Contents resize handle No #eval in source files #411: Pull request #846 synchronize by richardlford
Action required richardlford:rlf-mods
richardlford:rlf-mods
Action required
feat: For HTML output, add Table of Contents resize handle Check for trailing newlines #647: Pull request #846 synchronize by richardlford
Action required richardlford:rlf-mods
richardlford:rlf-mods
Action required
feat: For HTML output, add Table of Contents resize handle Check toolchain file #1170: Pull request #846 synchronize by richardlford
Action required richardlford:rlf-mods
richardlford:rlf-mods
Action required
feat: For HTML output, add Table of Contents resize handle Consistent subproject dependencies #1693: Pull request #846 synchronize by richardlford
Action required richardlford:rlf-mods
richardlford:rlf-mods
Action required
Update nightly-testing Update nightly-testing #1016: Scheduled
2m 30s main
main
2m 30s
Merge main to nightly Merge main to nightly #1025: Scheduled
3m 38s main
main
3m 38s
Update nightly-testing Update nightly-testing #1015: Scheduled
2m 34s main
main
2m 34s
Merge main to nightly Merge main to nightly #1024: Scheduled
5m 21s main
main
5m 21s
Update nightly-testing Update nightly-testing #1014: Scheduled
2m 54s main
main
2m 54s
Merge main to nightly Merge main to nightly #1023: Scheduled
5m 38s main
main
5m 38s
Update nightly-testing Update nightly-testing #1013: Scheduled
2m 29s main
main
2m 29s
Merge main to nightly Merge main to nightly #1022: Scheduled
4m 10s main
main
4m 10s
Update nightly-testing Update nightly-testing #1012: Scheduled
2m 30s main
main
2m 30s
Merge main to nightly Merge main to nightly #1021: Scheduled
3m 32s main
main
3m 32s
Update nightly-testing Update nightly-testing #1011: Scheduled
2m 23s main
main
2m 23s
Merge main to nightly Merge main to nightly #1020: Scheduled
3m 26s main
main
3m 26s
Update nightly-testing Update nightly-testing #1010: Scheduled
2m 27s main
main
2m 27s
Merge main to nightly Merge main to nightly #1019: Scheduled
3m 38s main
main
3m 38s
Deploy PR Preview Deploy PR Preview #507: completed by b-mehta
15s
15s
chore: expand warning for the verso.code.warnLineLength linter Consistent subproject dependencies #1692: Pull request #858 synchronize by b-mehta
10s b-mehta:line-length-linter-message
b-mehta:line-length-linter-message
10s