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: recover from runtime errors in tactics Check PR title for commit convention #4439: Pull request #4130 opened by leodemoura
May 10, 2024 23:50 10s issue_3554
issue_3554
May 10, 2024 23:50 10s
Check PR title for commit convention Check PR title for commit convention #4438: Merge group checks requested
May 10, 2024 23:05 14s
May 10, 2024 23:05 14s
Check PR title for commit convention Check PR title for commit convention #4437: Merge group checks requested
May 10, 2024 22:37 10s
May 10, 2024 22:37 10s
Check PR title for commit convention Check PR title for commit convention #4436: Merge group checks requested
May 10, 2024 22:34 10s
May 10, 2024 22:34 10s
refactor: lake: import errors, job captions, log grouping Check PR title for commit convention #4435: Pull request #4115 edited by tydeu
May 10, 2024 22:18 9s tydeu:lake/log-grouping
tydeu:lake/log-grouping
May 10, 2024 22:18 9s
refactor: lake: import errors, job captions, log grouping Check PR title for commit convention #4434: Pull request #4115 edited by tydeu
May 10, 2024 22:18 9s tydeu:lake/log-grouping
tydeu:lake/log-grouping
May 10, 2024 22:18 9s
refactor: lake: import errors, job captions, log grouping Check PR title for commit convention #4433: Pull request #4115 edited by tydeu
May 10, 2024 22:15 11s tydeu:lake/log-grouping
tydeu:lake/log-grouping
May 10, 2024 22:15 11s
refactor: add tryCatchRuntimeEx combinator Check PR title for commit convention #4432: Pull request #4129 opened by leodemoura
May 10, 2024 22:15 11s tryCatchRuntimeEx
tryCatchRuntimeEx
May 10, 2024 22:15 11s
refactor: lake: import errors, job captions, log grouping Check PR title for commit convention #4431: Pull request #4115 edited by tydeu
May 10, 2024 22:14 12s tydeu:lake/log-grouping
tydeu:lake/log-grouping
May 10, 2024 22:14 12s
refactor: lake: import errors, job captions, log grouping Check PR title for commit convention #4430: Pull request #4115 edited by tydeu
May 10, 2024 22:11 10s tydeu:lake/log-grouping
tydeu:lake/log-grouping
May 10, 2024 22:11 10s
refactor: lake: import errors, job captions, log grouping Check PR title for commit convention #4429: Pull request #4115 edited by tydeu
May 10, 2024 22:10 12s tydeu:lake/log-grouping
tydeu:lake/log-grouping
May 10, 2024 22:10 12s
refactor: lake: import errors, job captions, log grouping Check PR title for commit convention #4428: Pull request #4115 edited by tydeu
May 10, 2024 22:07 9s tydeu:lake/log-grouping
tydeu:lake/log-grouping
May 10, 2024 22:07 9s
Check PR title for commit convention Check PR title for commit convention #4427: Merge group checks requested
May 10, 2024 21:55 12s
May 10, 2024 21:55 12s
feat: IO.TaskState Check PR title for commit convention #4426: Pull request #4097 synchronize by tydeu
May 10, 2024 21:45 10s tydeu:task-state
tydeu:task-state
May 10, 2024 21:45 10s
refactor: lake: import errors, job captions, log grouping Check PR title for commit convention #4425: Pull request #4115 synchronize by tydeu
May 10, 2024 21:40 11s tydeu:lake/log-grouping
tydeu:lake/log-grouping
May 10, 2024 21:40 11s
fix: add checkSystem and withIncRecDepth to withAutoBoundImplicit Check PR title for commit convention #4424: Pull request #4128 opened by leodemoura
May 10, 2024 21:39 12s stack_overflow_at_autoimplicit
stack_overflow_at_autoimplicit
May 10, 2024 21:39 12s
feat: lake: build monitor improvements Check PR title for commit convention #4423: Pull request #4127 edited by tydeu
May 10, 2024 21:37 10s tydeu:lake/build-monitor+
tydeu:lake/build-monitor+
May 10, 2024 21:37 10s
feat: lake: build monitor improvements Check PR title for commit convention #4422: Pull request #4127 edited by tydeu
May 10, 2024 21:36 10s tydeu:lake/build-monitor+
tydeu:lake/build-monitor+
May 10, 2024 21:36 10s
feat: lake: build monitor improvements Check PR title for commit convention #4421: Pull request #4127 opened by tydeu
May 10, 2024 21:36 13s tydeu:lake/build-monitor+
tydeu:lake/build-monitor+
May 10, 2024 21:36 13s
Check PR title for commit convention Check PR title for commit convention #4420: Merge group checks requested
May 10, 2024 20:36 12s
May 10, 2024 20:36 12s
Check PR title for commit convention Check PR title for commit convention #4419: Merge group checks requested
May 10, 2024 20:35 9s
May 10, 2024 20:35 9s
chore: remove duplicate check Check PR title for commit convention #4418: Pull request #4126 edited by leodemoura
May 10, 2024 20:35 14s JovanGerb:master
JovanGerb:master
May 10, 2024 20:35 14s
chore: remove duplicate check Check PR title for commit convention #4417: Pull request #4126 opened by JovanGerb
May 10, 2024 20:06 16s JovanGerb:master
JovanGerb:master
May 10, 2024 20:06 16s
fix: revert "monadic generalization of FindExpr" Check PR title for commit convention #4416: Pull request #4125 opened by arthur-adjedj
May 10, 2024 17:51 11s arthur-adjedj:findM_remove
arthur-adjedj:findM_remove
May 10, 2024 17:51 11s
feat: incremental elaboration of definition headers, bodies, and tactics Check PR title for commit convention #4415: Pull request #3940 synchronize by Kha
May 10, 2024 12:49 12s Kha:incr-tactic
Kha:incr-tactic
May 10, 2024 12:49 12s