Skip to content

Actions: leanprover/lean4

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI CI #49467: Merge group checks requested
In progress
In progress
Check for stage0 changes Check for stage0 changes #26640: Merge group checks requested
41s
41s
Check PR body for changelog convention Check PR body for changelog convention #30855: Merge group checks requested
8s
8s
Check awaiting-mathlib label Check awaiting-mathlib label #19692: Merge group checks requested
5s
5s
Check awaiting-manual label Check awaiting-manual label #12022: Merge group checks requested
7s
7s
Actionlint Actionlint #8084: Merge group checks requested
40s
40s
Check PR title for commit convention Check PR title for commit convention #34910: Merge group checks requested
9s
9s
perf: replaceS and instantiateRevBetaS CI #49466: Pull request #11911 opened by leodemoura
In progress sym_replaceS_perf
sym_replaceS_perf
In progress
perf: replaceS and instantiateRevBetaS Check PR body for changelog convention #30854: Pull request #11911 opened by leodemoura
6s sym_replaceS_perf
sym_replaceS_perf
6s
perf: replaceS and instantiateRevBetaS Check awaiting-manual label #12021: Pull request #11911 opened by leodemoura
7s sym_replaceS_perf
sym_replaceS_perf
7s
perf: replaceS and instantiateRevBetaS Check for stage0 changes #26639: Pull request #11911 opened by leodemoura
41s sym_replaceS_perf
sym_replaceS_perf
41s
perf: replaceS and instantiateRevBetaS Check PR title for commit convention #34909: Pull request #11911 opened by leodemoura
6s sym_replaceS_perf
sym_replaceS_perf
6s
perf: replaceS and instantiateRevBetaS Check for modules that should use `prelude` #21583: Pull request #11911 opened by leodemoura
10s sym_replaceS_perf
sym_replaceS_perf
10s
perf: replaceS and instantiateRevBetaS Check for copyright header #21738: Pull request #11911 opened by leodemoura
38s sym_replaceS_perf
sym_replaceS_perf
38s
perf: replaceS and instantiateRevBetaS Check stdlib_flags.h modifications #672: Pull request #11911 opened by leodemoura
6s sym_replaceS_perf
sym_replaceS_perf
6s
perf: replaceS and instantiateRevBetaS Check awaiting-mathlib label #19691: Pull request #11911 opened by leodemoura
6s sym_replaceS_perf
sym_replaceS_perf
6s
perf: replaceS and instantiateRevBetaS Check awaiting-mathlib label #19690: Pull request #11911 labeled by leodemoura
6s sym_replaceS_perf
sym_replaceS_perf
6s
perf: replaceS and instantiateRevBetaS Check awaiting-manual label #12020: Pull request #11911 labeled by leodemoura
7s sym_replaceS_perf
sym_replaceS_perf
7s
perf: replaceS and instantiateRevBetaS Check PR body for changelog convention #30853: Pull request #11911 labeled by leodemoura
8s sym_replaceS_perf
sym_replaceS_perf
8s
perf: replaceS and instantiateRevBetaS Check stdlib_flags.h modifications #671: Pull request #11911 labeled by leodemoura
6s sym_replaceS_perf
sym_replaceS_perf
6s
perf: replaceS and instantiateRevBetaS Backport #16048: Pull request #11911 labeled by leodemoura
Skipped
Skipped
perf: replaceS and instantiateRevBetaS Restart by label #8644: Pull request #11911 labeled by leodemoura
1s
1s
Grove Grove #11902: completed by github-merge-queue bot
2m 28s
2m 28s
PR release PR release #40412: completed by github-merge-queue bot
2s
2s
Label stale PRs Label stale PRs #842: Scheduled
25s master
master
25s