Skip to content

Actions: leanprover/lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
253,820 workflow runs
253,820 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Grove Grove #12189: completed by github-merge-queue bot
2m 33s
2m 33s
PR release PR release #40699: completed by github-merge-queue bot
1s
1s
Grove Grove #12188: completed by leodemoura
13s
13s
PR release PR release #40698: completed by leodemoura
14s
14s
fix: pattern unification/matching in Sym Backport #16184: Pull request #11976 closed by leodemoura
10s
10s
fix: pattern unification/matching in Sym (#11976) CI #49745: Commit e56351d pushed by github-merge-queue bot
1h 0m 20s master
master
1h 0m 20s
fix: pattern unification/matching in Sym (#11976) Update stage0 #6882: Commit e56351d pushed by github-merge-queue bot
48s master
master
48s
Grove Grove #12187: completed by leodemoura
11s
11s
PR release PR release #40697: completed by leodemoura
1s
1s
Check PR body for changelog convention Check PR body for changelog convention #31221: Merge group checks requested
4s
4s
Check PR title for commit convention Check PR title for commit convention #35184: Merge group checks requested
5s
5s
CI CI #49744: Merge group checks requested
19m 40s
19m 40s
Check awaiting-manual label Check awaiting-manual label #12332: Merge group checks requested
4s
4s
Check awaiting-mathlib label Check awaiting-mathlib label #20002: Merge group checks requested
8s
8s
Actionlint Actionlint #8136: Merge group checks requested
50s
50s
Check for stage0 changes Check for stage0 changes #26866: Merge group checks requested
1m 6s
1m 6s
Grove Grove #12186: completed by tydeu
1s
1s
PR release PR release #40696: completed by tydeu
1s
1s
fix: pattern unification/matching in Sym CI #49743: Pull request #11976 opened by leodemoura
52m 32s sym_simp_debug
sym_simp_debug
52m 32s
fix: pattern unification/matching in Sym Check for modules that should use `prelude` #21760: Pull request #11976 opened by leodemoura
10s sym_simp_debug
sym_simp_debug
10s
fix: pattern unification/matching in Sym Check PR title for commit convention #35183: Pull request #11976 opened by leodemoura
7s sym_simp_debug
sym_simp_debug
7s
fix: pattern unification/matching in Sym Check stdlib_flags.h modifications #933: Pull request #11976 opened by leodemoura
7s sym_simp_debug
sym_simp_debug
7s
fix: pattern unification/matching in Sym Check for copyright header #21915: Pull request #11976 opened by leodemoura
48s sym_simp_debug
sym_simp_debug
48s
fix: pattern unification/matching in Sym Check awaiting-mathlib label #20001: Pull request #11976 opened by leodemoura
7s sym_simp_debug
sym_simp_debug
7s
fix: pattern unification/matching in Sym Check PR body for changelog convention #31220: Pull request #11976 opened by leodemoura
5s sym_simp_debug
sym_simp_debug
5s