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

fix: generate deprecation warnings for dot notation Check PR title for commit convention #4339: Pull request #3969 synchronize by kim-em
May 8, 2024 00:13 10s deprecated_dot_notation
deprecated_dot_notation
May 8, 2024 00:13 10s
fix: generate deprecation warnings for dot notation Check PR title for commit convention #4338: Pull request #3969 synchronize by kim-em
May 8, 2024 00:09 15s deprecated_dot_notation
deprecated_dot_notation
May 8, 2024 00:09 15s
fix: mainModuleName should use srcSearchPath Check PR title for commit convention #4337: Pull request #4066 synchronize by kim-em
May 8, 2024 00:05 11s digama0:mainModuleName
digama0:mainModuleName
May 8, 2024 00:05 11s
perf: use withSynthesize when elaborating let/have type Check PR title for commit convention #4336: Pull request #4096 synchronize by kim-em
May 8, 2024 00:03 14s let_checkpoint
let_checkpoint
May 8, 2024 00:03 14s
Check PR title for commit convention Check PR title for commit convention #4335: Merge group checks requested
May 7, 2024 23:56 12s
May 7, 2024 23:56 12s
Check PR title for commit convention Check PR title for commit convention #4334: Merge group checks requested
May 7, 2024 23:50 10s
May 7, 2024 23:50 10s
Check PR title for commit convention Check PR title for commit convention #4333: Merge group checks requested
May 7, 2024 23:31 11s
May 7, 2024 23:31 11s
Check PR title for commit convention Check PR title for commit convention #4332: Merge group checks requested
May 7, 2024 23:29 11s
May 7, 2024 23:29 11s
Check PR title for commit convention Check PR title for commit convention #4331: Merge group checks requested
May 7, 2024 22:31 10s
May 7, 2024 22:31 10s
Check PR title for commit convention Check PR title for commit convention #4330: Merge group checks requested
May 7, 2024 22:08 10s
May 7, 2024 22:08 10s
feat: relaxed reset/reuse in the code generator Check PR title for commit convention #4329: Pull request #4100 synchronize by leodemoura
May 7, 2024 21:53 10s relaxed_reset_reuse
relaxed_reset_reuse
May 7, 2024 21:53 10s
feat: relaxed reset/reuse in the code generator Check PR title for commit convention #4328: Pull request #4100 opened by leodemoura
May 7, 2024 21:49 13s relaxed_reset_reuse
relaxed_reset_reuse
May 7, 2024 21:49 13s
refactor: lake: manifest semver & code cleanup Check PR title for commit convention #4327: Pull request #4083 synchronize by tydeu
May 7, 2024 21:25 11s tydeu:lake/manifest-refactor
tydeu:lake/manifest-refactor
May 7, 2024 21:25 11s
refactor: make 1 % n reduce without well-founded recursion Check PR title for commit convention #4326: Pull request #4098 synchronize by nomeata
May 7, 2024 21:14 10s joachim/nat-mod-defeq
joachim/nat-mod-defeq
May 7, 2024 21:14 10s
refactor: make 1 % n reduce without well-founded recursion Check PR title for commit convention #4325: Pull request #4098 synchronize by nomeata
May 7, 2024 21:00 11s joachim/nat-mod-defeq
joachim/nat-mod-defeq
May 7, 2024 21:00 11s
feat: well-founded definitions irreducible by default Check PR title for commit convention #4324: Pull request #4061 synchronize by nomeata
May 7, 2024 20:58 11s joachim/wf-irred4
joachim/wf-irred4
May 7, 2024 20:58 11s
refactor: make 1 % n reduce without well-founded recursion Check PR title for commit convention #4323: Pull request #4098 synchronize by nomeata
May 7, 2024 20:49 12s joachim/nat-mod-defeq
joachim/nat-mod-defeq
May 7, 2024 20:49 12s
refactor: make 1 % n reduce without well-founded recursion Check PR title for commit convention #4322: Pull request #4098 opened by nomeata
May 7, 2024 20:40 12s joachim/nat-mod-defeq
joachim/nat-mod-defeq
May 7, 2024 20:40 12s
refactor: lake: manifest semver & code cleanup Check PR title for commit convention #4321: Pull request #4083 edited by tydeu
May 7, 2024 20:35 10s tydeu:lake/manifest-refactor
tydeu:lake/manifest-refactor
May 7, 2024 20:35 10s
refactor: lake: manifest semver & code cleanup Check PR title for commit convention #4320: Pull request #4083 edited by tydeu
May 7, 2024 20:35 10s tydeu:lake/manifest-refactor
tydeu:lake/manifest-refactor
May 7, 2024 20:35 10s
refactor: lake: manifest semver & code cleanup Check PR title for commit convention #4319: Pull request #4083 edited by tydeu
May 7, 2024 20:35 15s tydeu:lake/manifest-refactor
tydeu:lake/manifest-refactor
May 7, 2024 20:35 15s
feat: well-founded definitions irreducible by default Check PR title for commit convention #4318: Pull request #4061 synchronize by nomeata
May 7, 2024 20:22 12s joachim/wf-irred4
joachim/wf-irred4
May 7, 2024 20:22 12s
feat: IO.TaskState Check PR title for commit convention #4317: Pull request #4097 edited by tydeu
May 7, 2024 20:20 10s tydeu:task-state
tydeu:task-state
May 7, 2024 20:20 10s
feat: IO.TaskState Check PR title for commit convention #4316: Pull request #4097 synchronize by tydeu
May 7, 2024 20:17 10s tydeu:task-state
tydeu:task-state
May 7, 2024 20:17 10s
feat: IO.TaskState Check PR title for commit convention #4315: Pull request #4097 edited by tydeu
May 7, 2024 20:16 10s tydeu:task-state
tydeu:task-state
May 7, 2024 20:16 10s