Skip to content

Actions: leanprover/reference-manual

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,569 workflow runs
2,569 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: try separating deploys into different Netlify sites Check PR title for commit convention #8: Pull request #94 opened by david-christiansen
October 21, 2024 11:14 12s release-ci-mk4
release-ci-mk4
October 21, 2024 11:14 12s
feat: link targets for redirects in old manual (#93) Build and check HTML #176: Commit 482ba7a pushed by david-christiansen
October 21, 2024 10:26 2m 24s main
main
October 21, 2024 10:26 2m 24s
feat: link targets for redirects in old manual Check for copyright headers #5: Pull request #93 synchronize by david-christiansen
October 21, 2024 10:18 12s basic-types
basic-types
October 21, 2024 10:18 12s
feat: link targets for redirects in old manual Build and check HTML #175: Pull request #93 synchronize by david-christiansen
October 21, 2024 10:18 2m 46s basic-types
basic-types
October 21, 2024 10:18 2m 46s
feat: link targets for redirects in old manual Check PR title for commit convention #7: Pull request #93 synchronize by david-christiansen
October 21, 2024 10:18 11s basic-types
basic-types
October 21, 2024 10:18 11s
feat: link targets for redirects in old manual Check for too-big Lean imports #5: Pull request #93 synchronize by david-christiansen
October 21, 2024 10:18 15s basic-types
basic-types
October 21, 2024 10:18 15s
feat: link targets for redirects in old manual Check PR title for commit convention #6: Pull request #93 opened by david-christiansen
October 21, 2024 10:15 14s basic-types
basic-types
October 21, 2024 10:15 14s
feat: link targets for redirects in old manual Build and check HTML #174: Pull request #93 opened by david-christiansen
October 21, 2024 10:15 1m 6s basic-types
basic-types
October 21, 2024 10:15 1m 6s
feat: link targets for redirects in old manual Check for too-big Lean imports #4: Pull request #93 opened by david-christiansen
October 21, 2024 10:15 13s basic-types
basic-types
October 21, 2024 10:15 13s
feat: link targets for redirects in old manual Check for copyright headers #4: Pull request #93 opened by david-christiansen
October 21, 2024 10:15 12s basic-types
basic-types
October 21, 2024 10:15 12s
chore: improve issue templates Build and check HTML #173: Commit cce5786 pushed by david-christiansen
October 21, 2024 10:11 2m 28s main
main
October 21, 2024 10:11 2m 28s
chore: copyright headers and Lean imports size in CI (#88) Build and check HTML #172: Commit eff3536 pushed by david-christiansen
October 21, 2024 06:50 4m 44s main
main
October 21, 2024 06:50 4m 44s
Build and check HTML Build and check HTML #171: released by david-christiansen
October 21, 2024 06:45 2m 5s
October 21, 2024 06:45 2m 5s
Build and check HTML Build and check HTML #170: published by david-christiansen
October 21, 2024 06:45 2m 33s
October 21, 2024 06:45 2m 33s
chore: release CI, revised (#89) Build and check HTML #169: Commit 87b9112 pushed by david-christiansen
October 21, 2024 06:44 2m 10s main
main
October 21, 2024 06:44 2m 10s
chore: copyright headers and Lean imports size in CI Build and check HTML #168: Pull request #88 synchronize by david-christiansen
October 21, 2024 06:42 2m 34s copyright-convention-ci
copyright-convention-ci
October 21, 2024 06:42 2m 34s
chore: copyright headers and Lean imports size in CI Check PR title for commit convention #5: Pull request #88 synchronize by david-christiansen
October 21, 2024 06:42 11s copyright-convention-ci
copyright-convention-ci
October 21, 2024 06:42 11s
chore: copyright headers and Lean imports size in CI Check for copyright headers #3: Pull request #88 synchronize by david-christiansen
October 21, 2024 06:42 12s copyright-convention-ci
copyright-convention-ci
October 21, 2024 06:42 12s
chore: copyright headers and Lean imports size in CI Check for too-big Lean imports #3: Pull request #88 synchronize by david-christiansen
October 21, 2024 06:42 13s copyright-convention-ci
copyright-convention-ci
October 21, 2024 06:42 13s
chore: release CI, revised Check PR title for commit convention #4: Pull request #89 opened by david-christiansen
October 21, 2024 06:41 11s deploy-release-mk2
deploy-release-mk2
October 21, 2024 06:41 11s
chore: release CI, revised Build and check HTML #167: Pull request #89 opened by david-christiansen
October 21, 2024 06:41 2m 30s deploy-release-mk2
deploy-release-mk2
October 21, 2024 06:41 2m 30s
chore: copyright headers and Lean imports size in CI Build and check HTML #166: Pull request #88 synchronize by david-christiansen
October 21, 2024 06:27 5m 33s copyright-convention-ci
copyright-convention-ci
October 21, 2024 06:27 5m 33s
chore: copyright headers and Lean imports size in CI Check for too-big Lean imports #2: Pull request #88 synchronize by david-christiansen
October 21, 2024 06:27 15s copyright-convention-ci
copyright-convention-ci
October 21, 2024 06:27 15s
chore: copyright headers and Lean imports size in CI Check for copyright headers #2: Pull request #88 synchronize by david-christiansen
October 21, 2024 06:27 16s copyright-convention-ci
copyright-convention-ci
October 21, 2024 06:27 16s
chore: copyright headers and Lean imports size in CI Check PR title for commit convention #3: Pull request #88 synchronize by david-christiansen
October 21, 2024 06:27 15s copyright-convention-ci
copyright-convention-ci
October 21, 2024 06:27 15s
ProTip! You can narrow down the results and go further in time using created:<2024-10-21 or the other filters available.