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
1,239 workflow runs
1,239 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
doc: remove unrelated example for nested inductives Check for copyright headers #1886: Pull request #882 opened by ia0
8s ia0:extra
ia0:extra
8s
doc: fix typos in Inductive Types and Quotients Check for copyright headers #1885: Pull request #881 opened by ia0
11s ia0:typo
ia0:typo
11s
Check for copyright headers Check for copyright headers #1884: Merge group checks requested
13s
13s
feat: describe section variables and recursion Check for copyright headers #1883: Pull request #879 opened by david-christiansen
9s variable-recursive
variable-recursive
9s
Check for copyright headers Check for copyright headers #1882: Merge group checks requested
8s
8s
fix: dfa example typo Check for copyright headers #1881: Pull request #877 opened by robsimmons
7s dfa-typo
dfa-typo
7s
fix: adapt to module system, now 'public section' prints Check for copyright headers #1880: Pull request #876 opened by robsimmons
8s bump-2026-06-25-e
bump-2026-06-25-e
8s
feat: add more tactic examples and documentation Check for copyright headers #1879: Pull request #843 synchronize by jcreedcmu
7s jcreedcmu:jcreed/tactics
jcreedcmu:jcreed/tactics
7s
Check for copyright headers Check for copyright headers #1878: Merge group checks requested
12s
12s
fix: improve new Float content based on feedback from Julia Check for copyright headers #1877: Pull request #875 opened by david-christiansen
10s float-improvement-nightly
float-improvement-nightly
10s
chore: merge main into 2026-06-25 nightly again Check for copyright headers #1876: Pull request #874 synchronize by robsimmons
12s bump-2026-06-25-d
bump-2026-06-25-d
12s
chore: merge main into 2026-06-25 nightly again Check for copyright headers #1875: Pull request #874 opened by robsimmons
11s bump-2026-06-25-d
bump-2026-06-25-d
11s
chore: merge main into 2026-06-25 nightly Check for copyright headers #1874: Pull request #873 opened by robsimmons
7s bump-2026-06-25-b
bump-2026-06-25-b
7s
chore: document ir.sig, update module system reference Check for copyright headers #1873: Pull request #872 opened by robsimmons
20s bump-2026-06-25
bump-2026-06-25
20s
doc: fix typo in Inductive Types Check for copyright headers #1872: Pull request #871 opened by ia0
11s ia0:typo
ia0:typo
11s
Check for copyright headers Check for copyright headers #1871: Merge group checks requested
9s
9s
chore: merge main and update to nightly-2026-06-22 Check for copyright headers #1870: Pull request #870 opened by david-christiansen
10s nightly-testing-2026-06-22
nightly-testing-2026-06-22
10s
doc: fix typo in Inductive Types Check for copyright headers #1869: Pull request #869 opened by ia0
10s ia0:typo
ia0:typo
10s
Check for copyright headers Check for copyright headers #1868: Merge group checks requested
12s
12s
feat: tighten inductive FFI description Check for copyright headers #1867: Pull request #863 synchronize by david-christiansen
11s push-kwpruqwrqpxp
push-kwpruqwrqpxp
11s
feat: tighten inductive FFI description Check for copyright headers #1866: Pull request #863 synchronize by david-christiansen
11s push-kwpruqwrqpxp
push-kwpruqwrqpxp
11s
feat: tighten inductive FFI description Check for copyright headers #1865: Pull request #863 synchronize by david-christiansen
10s push-kwpruqwrqpxp
push-kwpruqwrqpxp
10s
feat: tighten inductive FFI description Check for copyright headers #1864: Pull request #863 synchronize by david-christiansen
9s push-kwpruqwrqpxp
push-kwpruqwrqpxp
9s
feat: describe Async Check for copyright headers #1863: Pull request #866 synchronize by david-christiansen
9s async-monad
async-monad
9s
Check for copyright headers Check for copyright headers #1862: Merge group checks requested
11s
11s