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
Fix multi-page manual TOC links Prettier on PR Comment #157: Issue comment #936 (comment) created by codeguru42
4s
4s
Fix multi-page manual TOC links Fix toolchain consistency on PR Comment #79: Issue comment #936 (comment) created by codeguru42
1s
1s
fix: try removing with-deps from Playwright CI Fix toolchain consistency on PR Comment #78: Issue comment #914 (comment) created by robsimmons
11s
11s
fix: try removing with-deps from Playwright CI Prettier on PR Comment #156: Issue comment #914 (comment) created by robsimmons
9s
9s
Update nightly-testing Update nightly-testing #1227: Scheduled
11s main
main
11s
Merge main to nightly Merge main to nightly #1239: Scheduled
8m 29s main
main
8m 29s
Update nightly-testing Update nightly-testing #1226: Scheduled
12s main
main
12s
Merge main to nightly Merge main to nightly #1238: Scheduled
8m 10s main
main
8m 10s
Deploy PR Preview Deploy PR Preview #873: completed by github-merge-queue Bot
1s
1s
Deploy PR Preview Deploy PR Preview #872: completed by github-merge-queue Bot
1s
1s
Deploy PR Preview Deploy PR Preview #871: completed by github-merge-queue Bot
1s
1s
chore: update SubVerso for further incremental rebuild improvements (… Consistent subproject dependencies #2054: Commit 655d4f6 pushed by github-merge-queue Bot
11s main
main
11s
chore: update SubVerso for further incremental rebuild improvements (… Continuous Integration #3096: Commit 655d4f6 pushed by github-merge-queue Bot
14m 51s main
main
14m 51s
Deploy PR Preview Deploy PR Preview #870: completed by david-christiansen
Skipped
Skipped
doc: fix "paramter" and "correponding" typos (#939) Consistent subproject dependencies #2053: Commit 97a80a6 pushed by github-merge-queue Bot
8s main
main
8s
doc: fix "paramter" and "correponding" typos (#939) Continuous Integration #3095: Commit 97a80a6 pushed by github-merge-queue Bot
13m 18s main
main
13m 18s
Deploy PR Preview Deploy PR Preview #869: completed by david-christiansen
1s
1s
feat: produce one-sided LaTeX output by default (#932) Continuous Integration #3094: Commit e87a2b0 pushed by github-merge-queue Bot
12m 18s main
main
12m 18s
feat: produce one-sided LaTeX output by default (#932) Consistent subproject dependencies #2052: Commit e87a2b0 pushed by github-merge-queue Bot
8s main
main
8s
Deploy PR Preview Deploy PR Preview #868: completed by david-christiansen
7s
7s
Check PR title follows commit convention Check PR title follows commit convention #336: Merge group checks requested
6s
6s
All test modules imported All test modules imported #710: Merge group checks requested
7s
7s
Check for copyright header and too-big Lean imports Check for copyright header and too-big Lean imports #2069: Merge group checks requested
23s
23s
Check for trailing newlines Check for trailing newlines #950: Merge group checks requested
8s
8s
Lint GitHub Actions workflows Lint GitHub Actions workflows #922: Merge group checks requested
19s
19s