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: incremental elaboration of definition headers, bodies, and tactics Check PR title for commit convention #4414: Pull request #3940 synchronize by Kha
May 10, 2024 12:24 13s Kha:incr-tactic
Kha:incr-tactic
May 10, 2024 12:24 13s
feat: incremental elaboration of definition headers, bodies, and tactics Check PR title for commit convention #4413: Pull request #3940 edited by Kha
May 10, 2024 09:17 10s Kha:incr-tactic
Kha:incr-tactic
May 10, 2024 09:17 10s
chore: add warning comments about findM? Check PR title for commit convention #4412: Pull request #4124 opened by kim-em
May 10, 2024 06:51 11s findM_warnings
findM_warnings
May 10, 2024 06:51 11s
Check PR title for commit convention Check PR title for commit convention #4411: Merge group checks requested
May 10, 2024 06:45 10s
May 10, 2024 06:45 10s
Check PR title for commit convention Check PR title for commit convention #4410: Merge group checks requested
May 10, 2024 05:12 15s
May 10, 2024 05:12 15s
refactor: lake: import errors, job captions, log grouping Check PR title for commit convention #4409: Pull request #4115 synchronize by tydeu
May 10, 2024 05:09 11s tydeu:lake/log-grouping
tydeu:lake/log-grouping
May 10, 2024 05:09 11s
refactor: lake: import errors, job captions, log grouping Check PR title for commit convention #4408: Pull request #4115 edited by tydeu
May 10, 2024 03:33 10s tydeu:lake/log-grouping
tydeu:lake/log-grouping
May 10, 2024 03:33 10s
refactor: lake: import errors, job captions, log grouping Check PR title for commit convention #4407: Pull request #4115 synchronize by tydeu
May 10, 2024 03:32 11s tydeu:lake/log-grouping
tydeu:lake/log-grouping
May 10, 2024 03:32 11s
Check PR title for commit convention Check PR title for commit convention #4406: Merge group checks requested
May 10, 2024 01:38 10s
May 10, 2024 01:38 10s
fix: segfault in old compiler due to noConfusion assumptions Check PR title for commit convention #4405: Pull request #2903 synchronize by kim-em
May 10, 2024 01:23 11s digama0:fix_2901
digama0:fix_2901
May 10, 2024 01:23 11s
Check PR title for commit convention Check PR title for commit convention #4404: Merge group checks requested
May 10, 2024 00:57 10s
May 10, 2024 00:57 10s
fix: take synthPendingDepth into account when caching TC results Check PR title for commit convention #4403: Pull request #4120 edited by leodemoura
May 9, 2024 23:55 9s tc_cache
tc_cache
May 9, 2024 23:55 9s
fix: take synthPendingDepth into account when caching TC results Check PR title for commit convention #4402: Pull request #4120 opened by leodemoura
May 9, 2024 23:53 12s tc_cache
tc_cache
May 9, 2024 23:53 12s
fix: type class issues with maxSynthPendingDepth := 1 Check PR title for commit convention #4401: Pull request #4119 opened by leodemoura
May 9, 2024 23:47 11s tc_issue_exp
tc_issue_exp
May 9, 2024 23:47 11s
feat: optimize computing BinderInfos for discrimination trees Check PR title for commit convention #4400: Pull request #3113 edited by kmill
May 9, 2024 20:57 13s kmill:binderInfo_disctree
kmill:binderInfo_disctree
May 9, 2024 20:57 13s
feat: optimize computing BinderInfos for discrimination trees Check PR title for commit convention #4399: Pull request #3113 edited by kmill
May 9, 2024 20:54 11s kmill:binderInfo_disctree
kmill:binderInfo_disctree
May 9, 2024 20:54 11s
chore: CI: optimize code under Linux Debug Check PR title for commit convention #4398: Pull request #4118 opened by Kha
May 9, 2024 20:46 11s ci-fast-debug
ci-fast-debug
May 9, 2024 20:46 11s
feat: optimize computing BinderInfos for discrimination trees Check PR title for commit convention #4397: Pull request #3113 synchronize by kmill
May 9, 2024 20:41 12s kmill:binderInfo_disctree
kmill:binderInfo_disctree
May 9, 2024 20:41 12s
refactor: lake: import errors, job captions, log grouping Check PR title for commit convention #4396: Pull request #4115 synchronize by tydeu
May 9, 2024 20:37 11s tydeu:lake/log-grouping
tydeu:lake/log-grouping
May 9, 2024 20:37 11s
feat: incremental elaboration of definition headers, bodies, and tactics Check PR title for commit convention #4395: Pull request #3940 synchronize by Kha
May 9, 2024 20:09 11s Kha:incr-tactic
Kha:incr-tactic
May 9, 2024 20:09 11s
feat: incremental elaboration of definition headers, bodies, and tactics Check PR title for commit convention #4394: Pull request #3940 synchronize by Kha
May 9, 2024 20:03 11s Kha:incr-tactic
Kha:incr-tactic
May 9, 2024 20:03 11s
feat: incremental elaboration of definition headers, bodies, and tactics Check PR title for commit convention #4393: Pull request #3940 synchronize by Kha
May 9, 2024 19:20 11s Kha:incr-tactic
Kha:incr-tactic
May 9, 2024 19:20 11s
feat: incremental elaboration of definition headers, bodies, and tactics Check PR title for commit convention #4392: Pull request #3940 synchronize by Kha
May 9, 2024 18:22 13s Kha:incr-tactic
Kha:incr-tactic
May 9, 2024 18:22 13s
Check PR title for commit convention Check PR title for commit convention #4391: Merge group checks requested
May 9, 2024 17:44 10s
May 9, 2024 17:44 10s
feat: well-founded definitions irreducible by default Check PR title for commit convention #4390: Pull request #4061 synchronize by nomeata
May 9, 2024 17:39 12s joachim/wf-irred4
joachim/wf-irred4
May 9, 2024 17:39 12s