Skip to content

Actions: leanprover/lean4

Actions

Check PR title for commit convention

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pr-title.yml
4,435 workflow run results
4,435 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: IO.TaskState Check PR title for commit convention #4314: Pull request #4097 opened by tydeu
May 7, 2024 20:14 11s tydeu:task-state
tydeu:task-state
May 7, 2024 20:14 11s
feat: well-founded definitions irreducible by default Check PR title for commit convention #4313: Pull request #4061 synchronize by nomeata
May 7, 2024 20:13 11s joachim/wf-irred4
joachim/wf-irred4
May 7, 2024 20:13 11s
perf: use withSynthesize when elaborating let/have type Check PR title for commit convention #4312: Pull request #4096 synchronize by leodemoura
May 7, 2024 19:23 14s let_checkpoint
let_checkpoint
May 7, 2024 19:23 14s
perf: use withSynthesize when elaborating let/have type Check PR title for commit convention #4311: Pull request #4096 opened by leodemoura
May 7, 2024 19:23 11s let_checkpoint
let_checkpoint
May 7, 2024 19:23 11s
feat: bitvec lemma to turn negation into bitwise not+add Check PR title for commit convention #4310: Pull request #4095 opened by bollu
May 7, 2024 19:21 11s opencompl:neg-eq-not-add
opencompl:neg-eq-not-add
May 7, 2024 19:21 11s
feat: make frontend normalize line endings to LF Check PR title for commit convention #4309: Pull request #3903 synchronize by kmill
May 7, 2024 19:18 11s kmill:normalize_crlf
kmill:normalize_crlf
May 7, 2024 19:18 11s
feat: make frontend normalize line endings to LF Check PR title for commit convention #4308: Pull request #3903 synchronize by kmill
May 7, 2024 19:06 12s kmill:normalize_crlf
kmill:normalize_crlf
May 7, 2024 19:06 12s
feat: make frontend normalize line endings to LF Check PR title for commit convention #4307: Pull request #3903 synchronize by kmill
May 7, 2024 18:44 14s kmill:normalize_crlf
kmill:normalize_crlf
May 7, 2024 18:44 14s
fix: swap Nat.zero_or and Nat.or_zero Check PR title for commit convention #4306: Pull request #4094 opened by fgdorais
May 7, 2024 18:38 13s fgdorais:fix-typo
fgdorais:fix-typo
May 7, 2024 18:38 13s
feat: make frontend normalize line endings to LF Check PR title for commit convention #4305: Pull request #3903 edited by kmill
May 7, 2024 18:14 12s kmill:normalize_crlf
kmill:normalize_crlf
May 7, 2024 18:14 12s
perf: issue at binop% and binrel% elaborators Check PR title for commit convention #4304: Pull request #4092 synchronize by leodemoura
May 7, 2024 17:41 11s perf_binop_binrel_alternative
perf_binop_binrel_alternative
May 7, 2024 17:41 11s
perf: issue at binop% and binrel% elaborators Check PR title for commit convention #4303: Pull request #4092 synchronize by leodemoura
May 7, 2024 17:40 13s perf_binop_binrel_alternative
perf_binop_binrel_alternative
May 7, 2024 17:40 13s
refactor: lake: manifest semver & code cleanup Check PR title for commit convention #4302: Pull request #4083 synchronize by tydeu
May 7, 2024 17:39 21s tydeu:lake/manifest-refactor
tydeu:lake/manifest-refactor
May 7, 2024 17:39 21s
chore: tidying up Lean.unresolveNameGlobal Check PR title for commit convention #4301: Pull request #4091 synchronize by kmill
May 7, 2024 17:30 10s kmill:unresolveNameGlobal_cleanup
kmill:unresolveNameGlobal_cleanup
May 7, 2024 17:30 10s
chore: tidying up Lean.unresolveNameGlobal Check PR title for commit convention #4300: Pull request #4091 synchronize by kmill
May 7, 2024 17:01 13s kmill:unresolveNameGlobal_cleanup
kmill:unresolveNameGlobal_cleanup
May 7, 2024 17:01 13s
perf: issue at binop% and binrel% elaborators Check PR title for commit convention #4299: Pull request #4092 edited by leodemoura
May 7, 2024 16:51 10s perf_binop_binrel_alternative
perf_binop_binrel_alternative
May 7, 2024 16:51 10s
perf: issue at binop% and binrel% elaborators Check PR title for commit convention #4298: Pull request #4092 opened by leodemoura
May 7, 2024 16:40 14s perf_binop_binrel_alternative
perf_binop_binrel_alternative
May 7, 2024 16:40 14s
feat: make frontend normalize line endings to LF Check PR title for commit convention #4297: Pull request #3903 edited by kmill
May 7, 2024 15:24 13s kmill:normalize_crlf
kmill:normalize_crlf
May 7, 2024 15:24 13s
feat: make frontend normalize line endings to LF Check PR title for commit convention #4296: Pull request #3903 edited by kmill
May 7, 2024 15:23 9s kmill:normalize_crlf
kmill:normalize_crlf
May 7, 2024 15:23 9s
chore: tidying up Lean.unresolveNameGlobal Check PR title for commit convention #4295: Pull request #4091 opened by kmill
May 7, 2024 15:18 13s kmill:unresolveNameGlobal_cleanup
kmill:unresolveNameGlobal_cleanup
May 7, 2024 15:18 13s
Check PR title for commit convention Check PR title for commit convention #4294: Merge group checks requested
May 7, 2024 15:14 13s
May 7, 2024 15:14 13s
feat: well-founded definitions irreducible by default Check PR title for commit convention #4293: Pull request #4061 synchronize by nomeata
May 7, 2024 13:50 12s joachim/wf-irred4
joachim/wf-irred4
May 7, 2024 13:50 12s
chore: lake: tweak hovers for family_def et al Check PR title for commit convention #4292: Pull request #4088 opened by digama0
May 7, 2024 13:30 14s digama0:family_def_hover
digama0:family_def_hover
May 7, 2024 13:30 14s
Incr tactic rc1 Check PR title for commit convention #4291: Pull request #4087 opened by Kha
May 7, 2024 13:29 16s Kha:incr-tactic-rc1
Kha:incr-tactic-rc1
May 7, 2024 13:29 16s
feat: incremental elaboration of definition headers, bodies, and tactics Check PR title for commit convention #4290: Pull request #3940 synchronize by Kha
May 7, 2024 13:19 12s Kha:incr-tactic
Kha:incr-tactic
May 7, 2024 13:19 12s