Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Actions: leanprover/lean4

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI CI #49126: Scheduled
In progress master
master
In progress
PR release PR release #40070: completed by github-merge-queue bot
1s
1s
Grove Grove #11560: completed by github-merge-queue bot
2m 35s
2m 35s
PR release PR release #40069: completed by leodemoura
16s
16s
Grove Grove #11559: completed by leodemoura
17s
17s
feat: add Sym.getMaxFVar? Backport #15892: Pull request #11794 closed by leodemoura
5s
5s
feat: add Sym.getMaxFVar? (#11794) CI #49125: Commit b3b33e8 pushed by github-merge-queue bot
57m 53s master
master
57m 53s
feat: add Sym.getMaxFVar? (#11794) Update stage0 #6768: Commit b3b33e8 pushed by github-merge-queue bot
29s master
master
29s
PR release PR release #40068: completed by leodemoura
1s
1s
Grove Grove #11558: completed by leodemoura
15s
15s
Check awaiting-manual label Check awaiting-manual label #11669: Merge group checks requested
6s
6s
CI CI #49124: Merge group checks requested
19m 36s
19m 36s
Check for stage0 changes Check for stage0 changes #26376: Merge group checks requested
39s
39s
Actionlint Actionlint #8015: Merge group checks requested
34s
34s
Check PR body for changelog convention Check PR body for changelog convention #30443: Merge group checks requested
7s
7s
Check PR title for commit convention Check PR title for commit convention #34602: Merge group checks requested
6s
6s
Check awaiting-mathlib label Check awaiting-mathlib label #19339: Merge group checks requested
8s
8s
feat: add Sym.getMaxFVar? CI #49123: Pull request #11794 opened by leodemoura
49m 45s getMaxFVar
getMaxFVar
49m 45s
feat: add Sym.getMaxFVar? Check PR body for changelog convention #30442: Pull request #11794 opened by leodemoura
7s getMaxFVar
getMaxFVar
7s
feat: add Sym.getMaxFVar? Check awaiting-mathlib label #19338: Pull request #11794 opened by leodemoura
7s getMaxFVar
getMaxFVar
7s
feat: add Sym.getMaxFVar? Check for copyright header #21541: Pull request #11794 opened by leodemoura
29s getMaxFVar
getMaxFVar
29s
feat: add Sym.getMaxFVar? Check awaiting-manual label #11668: Pull request #11794 opened by leodemoura
9s getMaxFVar
getMaxFVar
9s
feat: add Sym.getMaxFVar? Check for stage0 changes #26375: Pull request #11794 opened by leodemoura
42s getMaxFVar
getMaxFVar
42s
feat: add Sym.getMaxFVar? Check for modules that should use `prelude` #21386: Pull request #11794 opened by leodemoura
13s getMaxFVar
getMaxFVar
13s
feat: add Sym.getMaxFVar? Check PR title for commit convention #34601: Pull request #11794 opened by leodemoura
6s getMaxFVar
getMaxFVar
6s