Skip to content

Actions: leanprover/reference-manual

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,129 workflow runs
1,129 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix a small mistake (strings → arrays) Check for copyright headers #187: Pull request #226 opened by eyelash
December 28, 2024 18:30 Action required eyelash:patch-1
eyelash:patch-1
December 28, 2024 18:30 Action required
fix a small mistake (strings → arrays) Build and check HTML #446: Pull request #226 opened by eyelash
December 28, 2024 18:30 Action required eyelash:patch-1
eyelash:patch-1
December 28, 2024 18:30 Action required
fix a small mistake (strings → arrays) Check for too-big Lean imports #187: Pull request #226 opened by eyelash
December 28, 2024 18:30 Action required eyelash:patch-1
eyelash:patch-1
December 28, 2024 18:30 Action required
fix a small mistake (strings → arrays) Check PR title for commit convention #212: Pull request #226 opened by eyelash
December 28, 2024 18:30 Action required eyelash:patch-1
eyelash:patch-1
December 28, 2024 18:30 Action required
Label PRs with artifacts Label PRs with artifacts #82: completed by david-christiansen
December 22, 2024 12:16 2s
December 22, 2024 12:16 2s
Label PRs with artifacts Label PRs with artifacts #81: completed by david-christiansen
December 22, 2024 12:16 2s
December 22, 2024 12:16 2s
Label PRs with artifacts Label PRs with artifacts #80: completed by david-christiansen
December 22, 2024 12:13 2s
December 22, 2024 12:13 2s
2024-12-22 Build and check HTML #445: Release release-2024-12-22 published by david-christiansen
December 22, 2024 12:08 7m 39s
December 22, 2024 12:08 7m 39s
2024-12-22 Build and check HTML #444: Release release-2024-12-22 released by david-christiansen
December 22, 2024 12:08 7m 24s
December 22, 2024 12:08 7m 24s
fix: bump Verso dep (#225) Build and check HTML #443: Commit 4ca9921 pushed by david-christiansen
December 22, 2024 12:07 6m 2s main
main
December 22, 2024 12:07 6m 2s
fix: bump Verso dep Deploy PR for review #17: Pull request #225 labeled by david-christiansen
December 22, 2024 12:06 40s
December 22, 2024 12:06 40s
Label PRs with artifacts Label PRs with artifacts #79: completed by david-christiansen
December 22, 2024 12:05 12s
December 22, 2024 12:05 12s
fix: bump Verso dep Check for too-big Lean imports #186: Pull request #225 synchronize by david-christiansen
December 22, 2024 11:58 10s slash-redirects
slash-redirects
December 22, 2024 11:58 10s
fix: bump Verso dep Check PR title for commit convention #211: Pull request #225 synchronize by david-christiansen
December 22, 2024 11:58 10s slash-redirects
slash-redirects
December 22, 2024 11:58 10s
fix: bump Verso dep Check for copyright headers #186: Pull request #225 synchronize by david-christiansen
December 22, 2024 11:58 10s slash-redirects
slash-redirects
December 22, 2024 11:58 10s
fix: bump Verso dep Build and check HTML #442: Pull request #225 synchronize by david-christiansen
December 22, 2024 11:58 6m 40s slash-redirects
slash-redirects
December 22, 2024 11:58 6m 40s
fix: bump Verso dep Deploy PR for review #16: Pull request #225 labeled by david-christiansen
December 22, 2024 11:47 27s
December 22, 2024 11:47 27s
Label PRs with artifacts Label PRs with artifacts #78: completed by david-christiansen
December 22, 2024 11:46 14s
December 22, 2024 11:46 14s
fix: bump Verso dep Check PR title for commit convention #210: Pull request #225 opened by david-christiansen
December 22, 2024 11:39 9s slash-redirects
slash-redirects
December 22, 2024 11:39 9s
fix: bump Verso dep Build and check HTML #441: Pull request #225 opened by david-christiansen
December 22, 2024 11:39 7m 9s slash-redirects
slash-redirects
December 22, 2024 11:39 7m 9s
fix: bump Verso dep Check for too-big Lean imports #185: Pull request #225 opened by david-christiansen
December 22, 2024 11:39 10s slash-redirects
slash-redirects
December 22, 2024 11:39 10s
fix: bump Verso dep Check for copyright headers #185: Pull request #225 opened by david-christiansen
December 22, 2024 11:39 10s slash-redirects
slash-redirects
December 22, 2024 11:39 10s
Label PRs with artifacts Label PRs with artifacts #77: completed by david-christiansen
December 18, 2024 10:40 14s
December 18, 2024 10:40 14s
WIP support for heuristic Markdown rendering Deploy PR for review #15: Pull request #222 labeled by david-christiansen
December 18, 2024 10:39 14s
December 18, 2024 10:39 14s
Label PRs with artifacts Label PRs with artifacts #76: completed by david-christiansen
December 18, 2024 10:39 17s
December 18, 2024 10:39 17s