Skip to content

Actions: leanprover/lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
288,420 workflow runs
288,420 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Lake: multiple lean_exe targets with the same root module name produce identical executables Label PR based on Comment #23839: Issue comment #13013 (comment) created by seanmcl
1s
1s
Lake: multiple lean_exe targets with the same root module name produce identical executables Label PR based on Comment #23838: Issue comment #13013 (comment) created by tydeu
1s
1s
fix: improved dependency tracking in metacontext and abstractMVars CI #54411: Pull request #13025 opened by kmill
In progress kmill_abstractmvars_fixed
kmill_abstractmvars_fixed
In progress
fix: improved dependency tracking in metacontext and abstractMVars Check PR title for commit convention #39711: Pull request #13025 opened by kmill
8s kmill_abstractmvars_fixed
kmill_abstractmvars_fixed
8s
fix: improved dependency tracking in metacontext and abstractMVars Check for modules that should use `prelude` #24747: Pull request #13025 opened by kmill
11s kmill_abstractmvars_fixed
kmill_abstractmvars_fixed
11s
fix: improved dependency tracking in metacontext and abstractMVars Check for stage0 changes #30660: Pull request #13025 opened by kmill
30s kmill_abstractmvars_fixed
kmill_abstractmvars_fixed
30s
fix: improved dependency tracking in metacontext and abstractMVars Check for copyright header #24902: Pull request #13025 opened by kmill
52s kmill_abstractmvars_fixed
kmill_abstractmvars_fixed
52s
fix: improved dependency tracking in metacontext and abstractMVars Check awaiting-manual label #17430: Pull request #13025 opened by kmill
5s
5s
fix: improved dependency tracking in metacontext and abstractMVars Check stdlib_flags.h modifications #5224: Pull request #13025 opened by kmill
6s
6s
fix: improved dependency tracking in metacontext and abstractMVars Check awaiting-mathlib label #25100: Pull request #13025 labeled by kmill
18s
18s
fix: improved dependency tracking in metacontext and abstractMVars Restart by label #10038: Pull request #13025 labeled by kmill
1s
1s
fix: improved dependency tracking in metacontext and abstractMVars Check PR body for changelog convention #37150: Pull request #13025 opened by kmill
4s
4s
fix: improved dependency tracking in metacontext and abstractMVars Check stdlib_flags.h modifications #5223: Pull request #13025 labeled by kmill
6s
6s
fix: improved dependency tracking in metacontext and abstractMVars Check awaiting-mathlib label #25099: Pull request #13025 opened by kmill
5s
5s
fix: improved dependency tracking in metacontext and abstractMVars Check PR body for changelog convention #37149: Pull request #13025 labeled by kmill
6s
6s
fix: improved dependency tracking in metacontext and abstractMVars Check awaiting-manual label #17429: Pull request #13025 labeled by kmill
8s
8s
fix: improved dependency tracking in metacontext and abstractMVars Backport #18154: Pull request #13025 labeled by kmill
1s
1s
Grove Grove #16971: completed by nomeata
1s
1s
PR release PR release #45481: completed by nomeata
6m 53s
6m 53s
PR release PR release #45480: completed by github-merge-queue bot
1s
1s
Grove Grove #16970: completed by github-merge-queue bot
1m 16s
1m 16s
chore: use Lake remote cache in CI Label PR based on Comment #23837: Issue comment #10880 (comment) created by tydeu
9s
9s
experiment: store environment extension changes in sparse map Label PR based on Comment #23836: Issue comment #13020 (comment) created by mathlib-lean-pr-testing bot
1s
1s
experiment: store environment extension changes in sparse map Restart by label #10037: Pull request #13020 labeled by mathlib-lean-pr-testing bot
Skipped
Skipped
experiment: store environment extension changes in sparse map Check stdlib_flags.h modifications #5222: Pull request #13020 labeled by mathlib-lean-pr-testing bot
5s
5s