Skip to content

Actions: leanprover/lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
283,369 workflow runs
283,369 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Label stale PRs Label stale PRs #903: Scheduled
20s master
master
20s
perf: fuse fvar substitution into instantiateMVars Label PR based on Comment #23171: Issue comment #12233 (comment) created by mathlib-lean-pr-testing bot
1s
1s
Grove Grove #16079: completed by nomeata
12s
12s
PR release PR release #44589: completed by nomeata
6m 9s
6m 9s
perf: path compression for DiscrTree Label PR based on Comment #23170: Issue comment #12838 (comment) created by nomeata
1s
1s
perf: path compression for DiscrTree Label PR based on Comment #23169: Issue comment #12838 (comment) created by mathlib-lean-pr-testing bot
1s
1s
perf: fuse fvar substitution into instantiateMVars Check PR body for changelog convention #36016: Pull request #12233 edited by nomeata
8s
8s
perf: fuse fvar substitution into instantiateMVars Check PR title for commit convention #38871: Pull request #12233 edited by nomeata
8s joachim/instantiateMVarsNoUpdate
joachim/instantiateMVarsNoUpdate
8s
perf: fuse fvar substitution into instantiateMVars CI #53548: Pull request #12233 synchronize by nomeata
53m 47s joachim/instantiateMVarsNoUpdate
joachim/instantiateMVarsNoUpdate
53m 47s
perf: fuse fvar substitution into instantiateMVars Check PR title for commit convention #38870: Pull request #12233 synchronize by nomeata
8s joachim/instantiateMVarsNoUpdate
joachim/instantiateMVarsNoUpdate
8s
perf: fuse fvar substitution into instantiateMVars Check for stage0 changes #29957: Pull request #12233 synchronize by nomeata
46s joachim/instantiateMVarsNoUpdate
joachim/instantiateMVarsNoUpdate
46s
perf: fuse fvar substitution into instantiateMVars Check for copyright header #24346: Pull request #12233 synchronize by nomeata
54s joachim/instantiateMVarsNoUpdate
joachim/instantiateMVarsNoUpdate
54s
perf: fuse fvar substitution into instantiateMVars Check for modules that should use `prelude` #24191: Pull request #12233 synchronize by nomeata
13s joachim/instantiateMVarsNoUpdate
joachim/instantiateMVarsNoUpdate
13s
perf: fuse fvar substitution into instantiateMVars Check stdlib_flags.h modifications #4400: Pull request #12233 synchronize by nomeata
6s
6s
perf: fuse fvar substitution into instantiateMVars Check awaiting-manual label #16459: Pull request #12233 synchronize by nomeata
8s
8s
perf: fuse fvar substitution into instantiateMVars Check PR body for changelog convention #36015: Pull request #12233 synchronize by nomeata
6s
6s
perf: fuse fvar substitution into instantiateMVars Check awaiting-mathlib label #24129: Pull request #12233 synchronize by nomeata
8s
8s
perf: path compression for DiscrTree Label PR based on Comment #23168: Issue comment #12838 (comment) created by leanprover-radar
1s
1s
perf: path compression for DiscrTree Label PR based on Comment #23167: Issue comment #12838 (comment) created by nomeata
2s
2s
Wrong match arm taken after string split Label PR based on Comment #23166: Issue comment #12839 (comment) created by nomeata
1s
1s
refactor: Path compression for DiscrTree Backport #17794: Pull request #2577 closed by nomeata
1s
1s
refactor: Path compression for DiscrTree Label PR based on Comment #23165: Issue comment #2577 (comment) created by nomeata
1s
1s
perf: path compression for DiscrTree Label PR based on Comment #23164: Issue comment #12838 (comment) created by nomeata
Skipped
Skipped
refactor: Path compression for DiscrTree Label PR based on Comment #23163: Issue comment #2577 (comment) created by JovanGerb
1s
1s
perf: path compression for DiscrTree Label PR based on Comment #23162: Issue comment #12838 (comment) created by mathlib-lean-pr-testing bot
Skipped
Skipped