Skip to content

Actions: leanprover/reference-manual

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: describe type classes Check for too-big Lean imports #22: Pull request #127 opened by david-christiansen
October 26, 2024 14:08 1m 13s classes
classes
October 26, 2024 14:08 1m 13s
feat: describe type classes Check for copyright headers #22: Pull request #127 opened by david-christiansen
October 26, 2024 14:08 1m 10s classes
classes
October 26, 2024 14:08 1m 10s
feat: describe type classes Check PR title for commit convention #26: Pull request #127 opened by david-christiansen
October 26, 2024 14:08 1m 9s classes
classes
October 26, 2024 14:08 1m 9s
feat: describe type classes Build and check HTML #219: Pull request #127 opened by david-christiansen
October 26, 2024 14:08 9m 1s classes
classes
October 26, 2024 14:08 9m 1s
Public preview 2 Build and check HTML #218: Release public-preview-2.1 released by david-christiansen
October 25, 2024 15:27 9m 2s
October 25, 2024 15:27 9m 2s
chore: bump Verso dep to fix issues with /find hosted not at root (#126) Build and check HTML #217: Commit 08dece6 pushed by david-christiansen
October 25, 2024 15:24 2m 50s main
main
October 25, 2024 15:24 2m 50s
chore: bump Verso dep to fix issues with /find hosted not at root Check for copyright headers #21: Pull request #126 opened by david-christiansen
October 25, 2024 15:24 11s fix-find
fix-find
October 25, 2024 15:24 11s
chore: bump Verso dep to fix issues with /find hosted not at root Check PR title for commit convention #25: Pull request #126 opened by david-christiansen
October 25, 2024 15:24 1m 13s fix-find
fix-find
October 25, 2024 15:24 1m 13s
chore: bump Verso dep to fix issues with /find hosted not at root Check for too-big Lean imports #21: Pull request #126 opened by david-christiansen
October 25, 2024 15:24 15s fix-find
fix-find
October 25, 2024 15:24 15s
chore: bump Verso dep to fix issues with /find hosted not at root Build and check HTML #216: Pull request #126 opened by david-christiansen
October 25, 2024 15:24 3m 39s fix-find
fix-find
October 25, 2024 15:24 3m 39s
Public preview 2 Build and check HTML #215: Release public-preview-2.1 released by david-christiansen
October 25, 2024 14:56 8m 0s
October 25, 2024 14:56 8m 0s
Public preview 2 Build and check HTML #214: Release public-preview-2.1 published by david-christiansen
October 25, 2024 12:10 5m 31s
October 25, 2024 12:10 5m 31s
Public preview 2 Build and check HTML #213: Release public-preview-2.1 released by david-christiansen
October 25, 2024 12:10 5m 18s
October 25, 2024 12:10 5m 18s
chore: permalinks and repo links (#125) Build and check HTML #212: Commit 02672f2 pushed by david-christiansen
October 25, 2024 12:07 5m 25s main
main
October 25, 2024 12:07 5m 25s
chore: permalinks and repo links Check PR title for commit convention #24: Pull request #125 opened by david-christiansen
October 25, 2024 09:59 18s links-and-permalinks
links-and-permalinks
October 25, 2024 09:59 18s
chore: permalinks and repo links Build and check HTML #211: Pull request #125 opened by david-christiansen
October 25, 2024 09:59 6m 29s links-and-permalinks
links-and-permalinks
October 25, 2024 09:59 6m 29s
chore: permalinks and repo links Check for too-big Lean imports #20: Pull request #125 opened by david-christiansen
October 25, 2024 09:59 26s links-and-permalinks
links-and-permalinks
October 25, 2024 09:59 26s
chore: permalinks and repo links Check for copyright headers #20: Pull request #125 opened by david-christiansen
October 25, 2024 09:59 16s links-and-permalinks
links-and-permalinks
October 25, 2024 09:59 16s
chore: fix typos, remove extra spaces Check PR title for commit convention #23: Pull request #121 synchronize by euprunin
October 24, 2024 17:48 1m 28s euprunin:fix-typos
euprunin:fix-typos
October 24, 2024 17:48 1m 28s
chore: fix typos, remove extra spaces Check for too-big Lean imports #19: Pull request #121 synchronize by euprunin
October 24, 2024 17:48 1m 32s euprunin:fix-typos
euprunin:fix-typos
October 24, 2024 17:48 1m 32s
chore: fix typos, remove extra spaces Build and check HTML #210: Pull request #121 synchronize by euprunin
October 24, 2024 17:48 3m 55s euprunin:fix-typos
euprunin:fix-typos
October 24, 2024 17:48 3m 55s
chore: fix typos, remove extra spaces Check for copyright headers #19: Pull request #121 synchronize by euprunin
October 24, 2024 17:48 43s euprunin:fix-typos
euprunin:fix-typos
October 24, 2024 17:48 43s
chore: add LICENSE file (#120) Build and check HTML #208: Commit 2fbf58d pushed by david-christiansen
October 23, 2024 06:10 1m 52s main
main
October 23, 2024 06:10 1m 52s
chore: add LICENSE file Check for too-big Lean imports #17: Pull request #120 opened by david-christiansen
October 23, 2024 06:07 16s license-file
license-file
October 23, 2024 06:07 16s
chore: add LICENSE file Build and check HTML #207: Pull request #120 opened by david-christiansen
October 23, 2024 06:07 2m 10s license-file
license-file
October 23, 2024 06:07 2m 10s
ProTip! You can narrow down the results and go further in time using created:<2024-10-23 or the other filters available.