Skip to content

Actions: leanprover/reference-manual

Actions

Check PR title for commit convention

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pr-title.yml
301 workflow runs
301 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: describe type classes Check PR title for commit convention #27: Pull request #127 edited by david-christiansen
October 26, 2024 15:04 11s classes
classes
October 26, 2024 15:04 11s
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
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: 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: 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: add LICENSE file Check PR title for commit convention #21: Pull request #120 opened by david-christiansen
October 23, 2024 06:07 12s license-file
license-file
October 23, 2024 06:07 12s
fix: use the correct example command Check PR title for commit convention #20: Pull request #119 opened by david-christiansen
October 22, 2024 13:54 12s example-typo
example-typo
October 22, 2024 13:54 12s
chore: add lean4lean reference and links to other kernels Check PR title for commit convention #19: Pull request #117 opened by david-christiansen
October 22, 2024 13:20 15s kernel-links
kernel-links
October 22, 2024 13:20 15s
chore: bump Verso to get nav button bug fix Check PR title for commit convention #18: Pull request #116 opened by david-christiansen
October 22, 2024 10:51 16s nav-buttons2
nav-buttons2
October 22, 2024 10:51 16s
chore: update Verso for nav buttons Check PR title for commit convention #17: Pull request #115 opened by david-christiansen
October 22, 2024 09:23 14s nav-buttons
nav-buttons
October 22, 2024 09:23 14s
fix: minor typo Check PR title for commit convention #16: Pull request #112 edited by david-christiansen
October 21, 2024 16:38 19s pitmonticone:fix-typos
pitmonticone:fix-typos
October 21, 2024 16:38 19s
fix: minor typo Check PR title for commit convention #15: Pull request #112 opened by pitmonticone
October 21, 2024 16:09 13s pitmonticone:fix-typos
pitmonticone:fix-typos
October 21, 2024 16:09 13s
chore: add section introductions and planned content tags Check PR title for commit convention #14: Pull request #111 opened by david-christiansen
October 21, 2024 15:19 19s section-intros
section-intros
October 21, 2024 15:19 19s
chore: update Verso dependency Check PR title for commit convention #13: Pull request #98 edited by david-christiansen
October 21, 2024 14:31 18s toc-hide-show
toc-hide-show
October 21, 2024 14:31 18s
chore: update Verso dependency Check PR title for commit convention #12: Pull request #98 opened by david-christiansen
October 21, 2024 14:30 22s toc-hide-show
toc-hide-show
October 21, 2024 14:30 22s
chore: README update Check PR title for commit convention #11: Pull request #97 opened by david-christiansen
October 21, 2024 14:14 20s readme-updates
readme-updates
October 21, 2024 14:14 20s
chore: more informative build message for figures Check PR title for commit convention #10: Pull request #96 opened by david-christiansen
October 21, 2024 13:52 19s build-messages-figures
build-messages-figures
October 21, 2024 13:52 19s
fix: bump Verso to get trailing slashes in links Check PR title for commit convention #9: Pull request #95 opened by david-christiansen
October 21, 2024 13:48 19s trailing-slashes
trailing-slashes
October 21, 2024 13:48 19s
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 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 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
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: 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: 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
chore: copyright headers and Lean imports size in CI Check PR title for commit convention #2: Pull request #88 opened by david-christiansen
October 21, 2024 06:18 11s copyright-convention-ci
copyright-convention-ci
October 21, 2024 06:18 11s
ProTip! You can narrow down the results and go further in time using created:<2024-10-21 or the other filters available.