Skip to content

Actions: leanprover/reference-manual

Actions

Check for copyright headers

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
copyright-header.yml
27 workflow run results
27 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: incorporate upstream base tag fix Check for copyright headers #28: Pull request #130 opened by david-christiansen
October 29, 2024 13:28 31s base-tag
base-tag
October 29, 2024 13:28 31s
feat: describe type classes Check for copyright headers #27: Pull request #127 synchronize by david-christiansen
October 29, 2024 13:20 1m 22s classes
classes
October 29, 2024 13:20 1m 22s
chore: add base tag to work around trailing slash issues Check for copyright headers #26: Pull request #129 synchronize by david-christiansen
October 29, 2024 09:52 14s base-tag
base-tag
October 29, 2024 09:52 14s
feat: describe type classes Check for copyright headers #25: Pull request #127 synchronize by david-christiansen
October 29, 2024 09:48 1m 27s classes
classes
October 29, 2024 09:48 1m 27s
feat: describe type classes Check for copyright headers #24: Pull request #127 synchronize by david-christiansen
October 28, 2024 10:06 1m 27s classes
classes
October 28, 2024 10:06 1m 27s
feat: describe type classes Check for copyright headers #23: Pull request #127 synchronize by david-christiansen
October 28, 2024 10:05 8s classes
classes
October 28, 2024 10:05 8s
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
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: 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 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 Check for copyright headers #17: Pull request #120 opened by david-christiansen
October 23, 2024 06:07 11s license-file
license-file
October 23, 2024 06:07 11s
fix: use the correct example command Check for copyright headers #16: Pull request #119 opened by david-christiansen
October 22, 2024 13:54 14s example-typo
example-typo
October 22, 2024 13:54 14s
chore: add lean4lean reference and links to other kernels Check for copyright headers #15: Pull request #117 opened by david-christiansen
October 22, 2024 13:20 12s kernel-links
kernel-links
October 22, 2024 13:20 12s
chore: bump Verso to get nav button bug fix Check for copyright headers #14: Pull request #116 opened by david-christiansen
October 22, 2024 10:51 11s nav-buttons2
nav-buttons2
October 22, 2024 10:51 11s
chore: update Verso for nav buttons Check for copyright headers #13: Pull request #115 opened by david-christiansen
October 22, 2024 09:23 13s nav-buttons
nav-buttons
October 22, 2024 09:23 13s
fix: minor typo Check for copyright headers #12: Pull request #112 opened by pitmonticone
October 21, 2024 16:09 17s pitmonticone:fix-typos
pitmonticone:fix-typos
October 21, 2024 16:09 17s
chore: add section introductions and planned content tags Check for copyright headers #11: Pull request #111 opened by david-christiansen
October 21, 2024 15:19 22s section-intros
section-intros
October 21, 2024 15:19 22s
chore: update Verso dependency Check for copyright headers #10: Pull request #98 opened by david-christiansen
October 21, 2024 14:30 23s toc-hide-show
toc-hide-show
October 21, 2024 14:30 23s
chore: README update Check for copyright headers #9: 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 for copyright headers #8: Pull request #96 opened by david-christiansen
October 21, 2024 13:52 16s build-messages-figures
build-messages-figures
October 21, 2024 13:52 16s
fix: bump Verso to get trailing slashes in links Check for copyright headers #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 copyright headers #6: Pull request #94 opened by david-christiansen
October 21, 2024 11:14 13s release-ci-mk4
release-ci-mk4
October 21, 2024 11:14 13s
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 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: 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