Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Actions: leanprover/verso

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update nightly-testing Update nightly-testing #582: Scheduled
3m 3s main
main
3m 3s
Merge main to nightly Merge main to nightly #585: Scheduled
2m 56s main
main
2m 56s
Update nightly-testing Update nightly-testing #581: Scheduled
2m 54s main
main
2m 54s
Merge main to nightly Merge main to nightly #584: Scheduled
3m 1s main
main
3m 1s
Update nightly-testing Update nightly-testing #580: Scheduled
3m 13s main
main
3m 13s
Merge main to nightly Merge main to nightly #583: Scheduled
3m 6s main
main
3m 6s
Update nightly-testing Update nightly-testing #579: Scheduled
3m 11s main
main
3m 11s
Merge main to nightly Merge main to nightly #582: Scheduled
3m 41s main
main
3m 41s
Update nightly-testing Update nightly-testing #578: Scheduled
3m 14s main
main
3m 14s
Merge main to nightly Merge main to nightly #581: Scheduled
2m 55s main
main
2m 55s
Update nightly-testing Update nightly-testing #577: Scheduled
3m 11s main
main
3m 11s
Merge main to nightly Merge main to nightly #580: Scheduled
3m 51s main
main
3m 51s
Update nightly-testing Update nightly-testing #576: Scheduled
4m 16s main
main
4m 16s
Merge main to nightly Merge main to nightly #579: Scheduled
2m 58s main
main
2m 58s
Update nightly-testing Update nightly-testing #575: Scheduled
3m 18s main
main
3m 18s
Merge main to nightly Merge main to nightly #578: Scheduled
2m 52s main
main
2m 52s
Update nightly-testing Update nightly-testing #574: Scheduled
3m 8s main
main
3m 8s
Merge main to nightly Merge main to nightly #577: Scheduled
3m 2s main
main
3m 2s
feat: elaborate block structures as concrete elements Continuous Integration #2059: Pull request #693 opened by robsimmons
7m 47s concrete-construction
concrete-construction
7m 47s
feat: elaborate block structures as concrete elements Check for copyright header and too-big Lean imports #1237: Pull request #693 opened by robsimmons
8s concrete-construction
concrete-construction
8s
feat: elaborate block structures as concrete elements Consistent SubVerso dependencies #1051: Pull request #693 opened by robsimmons
6s concrete-construction
concrete-construction
6s
feat: elaborate block structures as concrete elements Check Formatting of JS/CSS/HTML and Markdown #100: Pull request #693 opened by robsimmons
13s concrete-construction
concrete-construction
13s
feat: elaborate block structures as concrete elements Check for trailing newlines #118: Pull request #693 opened by robsimmons
7s concrete-construction
concrete-construction
7s
feat: elaborate block structures as concrete elements Lint GitHub Actions workflows #90: Pull request #693 opened by robsimmons
24s concrete-construction
concrete-construction
24s
Update nightly-testing Update nightly-testing #573: Scheduled
3m 1s main
main
3m 1s