Skip to content

Actions: leanprover/lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
252,755 workflow runs
252,755 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

perf: Sym.Simp.DiscrTree retrieval Backport #16005: Pull request #11889 closed by leodemoura
7s
7s
perf: Sym.Simp.DiscrTree retrieval (#11889) CI #49387: Commit a2cf78a pushed by github-merge-queue bot
In progress master
master
In progress
perf: Sym.Simp.DiscrTree retrieval (#11889) Update stage0 #6817: Commit a2cf78a pushed by github-merge-queue bot
31s master
master
31s
PR release PR release #40332: completed by leodemoura
1s
1s
Grove Grove #11822: completed by leodemoura
11s
11s
Check awaiting-mathlib label Check awaiting-mathlib label #19605: Merge group checks requested
6s
6s
Actionlint Actionlint #8066: Merge group checks requested
34s
34s
Check awaiting-manual label Check awaiting-manual label #11935: Merge group checks requested
8s
8s
Check PR title for commit convention Check PR title for commit convention #34845: Merge group checks requested
8s
8s
CI CI #49386: Merge group checks requested
22m 54s
22m 54s
Check PR body for changelog convention Check PR body for changelog convention #30764: Merge group checks requested
5s
5s
Check for stage0 changes Check for stage0 changes #26579: Merge group checks requested
30s
30s
Grove Grove #11821: completed by leodemoura
1s
1s
PR release PR release #40331: completed by leodemoura
1s
1s
PR release PR release #40330: completed by leodemoura
1s
1s
Grove Grove #11820: completed by leodemoura
1s
1s
perf: Sym.Simp.DiscrTree retrieval Check for stage0 changes #26578: Pull request #11889 synchronize by leodemoura
34s sym_discrTree_perf
sym_discrTree_perf
34s
perf: Sym.Simp.DiscrTree retrieval Check PR body for changelog convention #30763: Pull request #11889 synchronize by leodemoura
9s sym_discrTree_perf
sym_discrTree_perf
9s
perf: Sym.Simp.DiscrTree retrieval Check for modules that should use `prelude` #21540: Pull request #11889 synchronize by leodemoura
11s sym_discrTree_perf
sym_discrTree_perf
11s
perf: Sym.Simp.DiscrTree retrieval CI #49385: Pull request #11889 synchronize by leodemoura
In progress sym_discrTree_perf
sym_discrTree_perf
In progress
perf: Sym.Simp.DiscrTree retrieval Check awaiting-manual label #11934: Pull request #11889 synchronize by leodemoura
6s sym_discrTree_perf
sym_discrTree_perf
6s
perf: Sym.Simp.DiscrTree retrieval Check for copyright header #21695: Pull request #11889 synchronize by leodemoura
31s sym_discrTree_perf
sym_discrTree_perf
31s
perf: Sym.Simp.DiscrTree retrieval Check PR title for commit convention #34844: Pull request #11889 synchronize by leodemoura
7s sym_discrTree_perf
sym_discrTree_perf
7s
perf: Sym.Simp.DiscrTree retrieval Check stdlib_flags.h modifications #603: Pull request #11889 synchronize by leodemoura
8s sym_discrTree_perf
sym_discrTree_perf
8s
perf: Sym.Simp.DiscrTree retrieval Check awaiting-mathlib label #19604: Pull request #11889 synchronize by leodemoura
7s sym_discrTree_perf
sym_discrTree_perf
7s