Skip to content

Actions: leanprover/verso

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
5,657 workflow runs
5,657 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update nightly-testing Update nightly-testing #598: Scheduled
9s main
main
9s
Merge main to nightly Merge main to nightly #601: Scheduled
4m 31s main
main
4m 31s
Update nightly-testing Update nightly-testing #597: Scheduled
13s main
main
13s
Merge main to nightly Merge main to nightly #600: Scheduled
5m 9s main
main
5m 9s
fix: trailing whitespace for syntax that contains trailing nulls (#696) Format JS/CSS/HTML and Markdown #21: Commit 3efce68 pushed by github-merge-queue bot
16s main
main
16s
fix: trailing whitespace for syntax that contains trailing nulls (#696) Continuous Integration #2073: Commit 3efce68 pushed by github-merge-queue bot
4m 46s main
main
4m 46s
fix: trailing whitespace for syntax that contains trailing nulls (#696) Consistent SubVerso dependencies #1065: Commit 3efce68 pushed by github-merge-queue bot
7s main
main
7s
Lint GitHub Actions workflows Lint GitHub Actions workflows #101: Merge group checks requested
15s
15s
Check for trailing newlines Check for trailing newlines #129: Merge group checks requested
7s
7s
Consistent SubVerso dependencies Consistent SubVerso dependencies #1064: Merge group checks requested
10s
10s
Check Formatting of JS/CSS/HTML and Markdown Check Formatting of JS/CSS/HTML and Markdown #111: Merge group checks requested
17s
17s
Check toolchain file Check toolchain file #674: Merge group checks requested
10s
10s
Continuous Integration Continuous Integration #2072: Merge group checks requested
4m 52s
4m 52s
Check for copyright header and too-big Lean imports Check for copyright header and too-big Lean imports #1248: Merge group checks requested
7s
7s
fix: trailing whitespace for syntax that contains trailing nulls Check for copyright header and too-big Lean imports #1247: Pull request #696 synchronize by david-christiansen
10s parser-again
parser-again
10s
fix: trailing whitespace for syntax that contains trailing nulls Check toolchain file #673: Pull request #696 synchronize by david-christiansen
9s parser-again
parser-again
9s
fix: trailing whitespace for syntax that contains trailing nulls Lint GitHub Actions workflows #100: Pull request #696 synchronize by david-christiansen
16s parser-again
parser-again
16s
fix: trailing whitespace for syntax that contains trailing nulls Check Formatting of JS/CSS/HTML and Markdown #110: Pull request #696 synchronize by david-christiansen
20s parser-again
parser-again
20s
fix: trailing whitespace for syntax that contains trailing nulls Consistent SubVerso dependencies #1063: Pull request #696 synchronize by david-christiansen
6s parser-again
parser-again
6s
fix: trailing whitespace for syntax that contains trailing nulls Check for trailing newlines #128: Pull request #696 synchronize by david-christiansen
7s parser-again
parser-again
7s
fix: trailing whitespace for syntax that contains trailing nulls Continuous Integration #2071: Pull request #696 synchronize by david-christiansen
4m 23s parser-again
parser-again
4m 23s
fix: trailing whitespace for syntax that contains trailing nulls Continuous Integration #2070: Pull request #696 opened by david-christiansen
4m 26s parser-again
parser-again
4m 26s
fix: trailing whitespace for syntax that contains trailing nulls Check for trailing newlines #127: Pull request #696 opened by david-christiansen
10s parser-again
parser-again
10s
fix: trailing whitespace for syntax that contains trailing nulls Check Formatting of JS/CSS/HTML and Markdown #109: Pull request #696 opened by david-christiansen
12s parser-again
parser-again
12s
fix: trailing whitespace for syntax that contains trailing nulls Consistent SubVerso dependencies #1062: Pull request #696 opened by david-christiansen
10s parser-again
parser-again
10s