Skip to content

Actions: leanprover/lean4

Actions

Check for copyright header

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
copyright-header.yml
2,500+ workflow runs
2,500+ 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
fix: tail-recursive BitVec.ofBoolListLE/ofBoolListBE to avoid stack overflow Check for copyright header #26233: Pull request #13576 synchronize by kim-em
1m 3s kim-em:scott-fix-ofBoolListLE-stack-overflow
kim-em:scott-fix-ofBoolListLE-stack-overflow
1m 3s
fix: tail-recursive BitVec.ofBoolListLE/ofBoolListBE to avoid stack overflow Check for copyright header #26232: Pull request #13576 synchronize by kim-em
1m 11s kim-em:scott-fix-ofBoolListLE-stack-overflow
kim-em:scott-fix-ofBoolListLE-stack-overflow
1m 11s
feat: add Locale and LocaleSymbols for configurable date/time formatting Check for copyright header #26231: Pull request #13567 synchronize by algebraic-dev
1m 5s sofia/time-locale
sofia/time-locale
1m 5s
feat: MVarId.assertAfter fvar alias info, MVarId.replace mvar dependencies, specialize tactic using eta arguments Check for copyright header #26230: Pull request #13528 synchronize by kmill
1m 7s kmill_specialize
kmill_specialize
1m 7s
chore: use self-hosted actions runner for some runs Check for copyright header #26229: Pull request #13543 synchronize by Garmelon
1m 20s joscha/chonk3-runner
joscha/chonk3-runner
1m 20s
chore: use self-hosted actions runner for some runs Check for copyright header #26228: Pull request #13543 synchronize by Garmelon
1m 2s joscha/chonk3-runner
joscha/chonk3-runner
1m 2s
chore: use self-hosted actions runner for some runs Check for copyright header #26227: Pull request #13543 synchronize by Garmelon
1m 15s joscha/chonk3-runner
joscha/chonk3-runner
1m 15s
chore: use self-hosted actions runner for some runs Check for copyright header #26226: Pull request #13543 synchronize by Garmelon
1m 25s joscha/chonk3-runner
joscha/chonk3-runner
1m 25s
fix: correct off-by-one in toSeconds and wrong day count in Year.days Check for copyright header #26225: Pull request #13566 synchronize by algebraic-dev
1m 10s sofia/time-bug-fixes
sofia/time-bug-fixes
1m 10s
feat: upstream unreachableTactic linter Check for copyright header #26224: Pull request #13580 opened by wkrozowski
1m 4s wkrozowski:wojciech/unreachableTactic
wkrozowski:wojciech/unreachableTactic
1m 4s
fix: record instances unfolded by wrapInstance as shake dependencies Check for copyright header #26223: Pull request #13579 opened by Kha
1m 12s Kha:push-mrwrnvskyusz
Kha:push-mrwrnvskyusz
1m 12s
feat: make new do elaborator the default Check for copyright header #26222: Pull request #13305 synchronize by sgraf812
1m 4s sg/new-do-rollout
sg/new-do-rollout
1m 4s
feat: make new do elaborator the default Check for copyright header #26221: Pull request #13305 synchronize by sgraf812
10m 37s sg/new-do-rollout
sg/new-do-rollout
10m 37s
test: Bring Sym-based mvcgen' on par with mvcgen Check for copyright header #26220: Pull request #13578 opened by sgraf812
29m 29s worktree-sym-mvcgen-do-logic-tests
worktree-sym-mvcgen-do-logic-tests
29m 29s
test: regression tests for do issues fixed by the new elaborator Check for copyright header #26219: Pull request #13541 synchronize by sgraf812
1m 11s sg/do-regression-tests
sg/do-regression-tests
1m 11s
test: regression tests for do issues fixed by the new elaborator Check for copyright header #26218: Pull request #13541 synchronize by sgraf812
1m 9s sg/do-regression-tests
sg/do-regression-tests
1m 9s
test: regression test for #9037 Check for copyright header #26217: Pull request #13577 opened by sgraf812
1m 8s sg/do-regression-9037
sg/do-regression-9037
1m 8s
feat: upstream unnecessarySeqFocus linter Check for copyright header #26216: Pull request #13540 synchronize by wkrozowski
1m 10s wkrozowski:wojciech/unnecessarySeqFocus
wkrozowski:wojciech/unnecessarySeqFocus
1m 10s
fix: tail-recursive BitVec.ofBoolListLE/ofBoolListBE to avoid stack overflow Check for copyright header #26215: Pull request #13576 opened by kim-em
1m 4s kim-em:scott-fix-ofBoolListLE-stack-overflow
kim-em:scott-fix-ofBoolListLE-stack-overflow
1m 4s
feat: upstream unnecessarySeqFocus linter Check for copyright header #26214: Pull request #13540 synchronize by wkrozowski
1m 18s wkrozowski:wojciech/unnecessarySeqFocus
wkrozowski:wojciech/unnecessarySeqFocus
1m 18s
feat: upstream unnecessarySeqFocus linter Check for copyright header #26213: Pull request #13540 synchronize by wkrozowski
1m 8s wkrozowski:wojciech/unnecessarySeqFocus
wkrozowski:wojciech/unnecessarySeqFocus
1m 8s
feat: add E-matching diagnostics to grind Check for copyright header #26212: Pull request #13558 synchronize by leodemoura
1m 9s grind_track_ematch
grind_track_ematch
1m 9s
fix: always fail on unsolved metavariables after Verso docstring elab Check for copyright header #26211: Pull request #13574 opened by david-christiansen
1m 10s david-christiansen:verso-moduledoc-escape
david-christiansen:verso-moduledoc-escape
1m 10s
feat: make [defeq] attribute strict and stop auto-tagging := rfl Check for copyright header #26210: Pull request #13557 synchronize by nomeata
1m 2s joachim/rfl-defeq-attrib
joachim/rfl-defeq-attrib
1m 2s
chore: use self-hosted actions runner for some runs Check for copyright header #26209: Pull request #13543 synchronize by Garmelon
1m 3s joscha/chonk3-runner
joscha/chonk3-runner
1m 3s