Skip to content

Actions: leanprover/reference-manual

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
Update nightly-testing Update nightly-testing #929: Scheduled
Queued main
main
Queued
Merge main to nightly Merge main to nightly #930: Scheduled
4m 40s main
main
4m 40s
Nightly with Manual Nightly with Manual #282: Scheduled
25m 40s main
main
25m 40s
Label PRs with artifacts Label PRs with artifacts #2484: completed by david-christiansen
17s
17s
Deploy PR for review Deploy PR for review #2372: completed by david-christiansen
30s
30s
Label PRs with artifacts Label PRs with artifacts #2483: completed by david-christiansen
6s
6s
Deploy PR for review Deploy PR for review #2371: completed by david-christiansen
1s
1s
feat: incorporate upstream search page Check for copyright headers #1736: Pull request #839 synchronize by david-christiansen
11s search-page
search-page
11s
feat: incorporate upstream search page Check Formatting of JS/CSS/HTML and Markdown #412: Pull request #839 synchronize by david-christiansen
22s search-page
search-page
22s
feat: incorporate upstream search page Build and check HTML #2851: Pull request #839 synchronize by david-christiansen
10m 27s search-page
search-page
10m 27s
feat: incorporate upstream search page Check for too-big Lean imports #1736: Pull request #839 synchronize by david-christiansen
11s search-page
search-page
11s
feat: incorporate upstream search page Check PR title for commit convention #1918: Pull request #839 synchronize by david-christiansen
5s search-page
search-page
5s
feat: incorporate upstream search page Check for too-big Lean imports #1735: Pull request #839 synchronize by david-christiansen
8s search-page
search-page
8s
feat: incorporate upstream search page Check Formatting of JS/CSS/HTML and Markdown #411: Pull request #839 synchronize by david-christiansen
17s search-page
search-page
17s
feat: incorporate upstream search page Check for copyright headers #1735: Pull request #839 synchronize by david-christiansen
10s search-page
search-page
10s
feat: incorporate upstream search page Check PR title for commit convention #1917: Pull request #839 synchronize by david-christiansen
7s search-page
search-page
7s
feat: incorporate upstream search page Build and check HTML #2850: Pull request #839 synchronize by david-christiansen
6m 32s search-page
search-page
6m 32s
Deploy PR for review Deploy PR for review #2370: completed by david-christiansen
28s
28s
Label PRs with artifacts Label PRs with artifacts #2482: completed by david-christiansen
25s
25s
feat: incorporate upstream search page Build and check HTML #2849: Pull request #839 synchronize by david-christiansen
9m 22s search-page
search-page
9m 22s
feat: incorporate upstream search page Check PR title for commit convention #1916: Pull request #839 synchronize by david-christiansen
8s search-page
search-page
8s
feat: incorporate upstream search page Check Formatting of JS/CSS/HTML and Markdown #410: Pull request #839 synchronize by david-christiansen
15s search-page
search-page
15s
feat: incorporate upstream search page Check for copyright headers #1734: Pull request #839 synchronize by david-christiansen
8s search-page
search-page
8s
feat: incorporate upstream search page Check for too-big Lean imports #1734: Pull request #839 synchronize by david-christiansen
11s search-page
search-page
11s
Update nightly-testing Update nightly-testing #928: Scheduled
6m 43s main
main
6m 43s