Skip to content

Actions: leanprover/lean4

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

refactor: move error explanation text to the manual Backport #15903: Pull request #11688 closed by robsimmons
8s
8s
refactor: move error explanation text to the manual (#11688) CI #49142: Commit f483c6c pushed by github-merge-queue bot
In progress master
master
In progress
refactor: move error explanation text to the manual (#11688) Update stage0 #6773: Commit f483c6c pushed by github-merge-queue bot
34s master
master
34s
PR release PR release #40086: completed by robsimmons
1s
1s
Grove Grove #11576: completed by robsimmons
13s
13s
CI CI #49141: Merge group checks requested
23m 52s
23m 52s
Check PR body for changelog convention Check PR body for changelog convention #30459: Merge group checks requested
7s
7s
Check for stage0 changes Check for stage0 changes #26386: Merge group checks requested
37s
37s
Check awaiting-mathlib label Check awaiting-mathlib label #19354: Merge group checks requested
5s
5s
Check PR title for commit convention Check PR title for commit convention #34613: Merge group checks requested
7s
7s
Actionlint Actionlint #8020: Merge group checks requested
39s
39s
Check awaiting-manual label Check awaiting-manual label #11684: Merge group checks requested
6s
6s
Grove Grove #11575: completed by nomeata
14s
14s
PR release PR release #40085: completed by nomeata
13s
13s
perf: avoid possible dangerous beta-reduction Backport #15902: Pull request #11804 closed by nomeata
2s
2s
perf: avoid possible dangerous beta-reduction Label PR based on Comment #20273: Issue comment #11804 (comment) created by leanprover-radar
1s
1s
perf: avoid possible dangerous beta-reduction Label PR based on Comment #20272: Issue comment #11804 (comment) created by nomeata
1s
1s
perf: avoid possible dangerous beta-reduction CI #49140: Pull request #11804 opened by nomeata
1h 0m 58s joachim/avoid-beta
joachim/avoid-beta
1h 0m 58s
perf: avoid possible dangerous beta-reduction Check awaiting-manual label #11683: Pull request #11804 labeled by nomeata
6s joachim/avoid-beta
joachim/avoid-beta
6s
perf: avoid possible dangerous beta-reduction Check stdlib_flags.h modifications #396: Pull request #11804 opened by nomeata
10s joachim/avoid-beta
joachim/avoid-beta
10s
perf: avoid possible dangerous beta-reduction Backport #15901: Pull request #11804 labeled by nomeata
10s
10s
perf: avoid possible dangerous beta-reduction Check for modules that should use `prelude` #21391: Pull request #11804 opened by nomeata
11s joachim/avoid-beta
joachim/avoid-beta
11s
perf: avoid possible dangerous beta-reduction Check awaiting-manual label #11682: Pull request #11804 opened by nomeata
8s joachim/avoid-beta
joachim/avoid-beta
8s
perf: avoid possible dangerous beta-reduction Check for copyright header #21546: Pull request #11804 opened by nomeata
33s joachim/avoid-beta
joachim/avoid-beta
33s
perf: avoid possible dangerous beta-reduction Restart by label #8560: Pull request #11804 labeled by nomeata
1s
1s