Skip to content

Actions: leanprover/reference-manual

Actions

Check for too-big Lean imports

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
too-big-imports.yml
39 workflow runs
39 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: bump Verso to get nav button bug fix Check for too-big Lean imports #14: Pull request #116 opened by david-christiansen
October 22, 2024 10:51 12s nav-buttons2
nav-buttons2
October 22, 2024 10:51 12s
chore: update Verso for nav buttons Check for too-big Lean imports #13: Pull request #115 opened by david-christiansen
October 22, 2024 09:23 12s nav-buttons
nav-buttons
October 22, 2024 09:23 12s
fix: minor typo Check for too-big Lean imports #12: Pull request #112 opened by pitmonticone
October 21, 2024 16:09 15s pitmonticone:fix-typos
pitmonticone:fix-typos
October 21, 2024 16:09 15s
chore: add section introductions and planned content tags Check for too-big Lean imports #11: Pull request #111 opened by david-christiansen
October 21, 2024 15:19 21s section-intros
section-intros
October 21, 2024 15:19 21s
chore: update Verso dependency Check for too-big Lean imports #10: 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 for too-big Lean imports #9: Pull request #97 opened by david-christiansen
October 21, 2024 14:14 26s readme-updates
readme-updates
October 21, 2024 14:14 26s
chore: more informative build message for figures Check for too-big Lean imports #8: Pull request #96 opened by david-christiansen
October 21, 2024 13:52 12s build-messages-figures
build-messages-figures
October 21, 2024 13:52 12s
fix: bump Verso to get trailing slashes in links Check for too-big Lean imports #7: 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 for too-big Lean imports #6: Pull request #94 opened by david-christiansen
October 21, 2024 11:14 14s release-ci-mk4
release-ci-mk4
October 21, 2024 11:14 14s
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 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
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: 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 too-big Lean imports #1: Pull request #88 opened by david-christiansen
October 21, 2024 06:18 12s copyright-convention-ci
copyright-convention-ci
October 21, 2024 06:18 12s