Skip to content

Actions: leanprover/lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
113,419 workflow runs
113,419 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

PR release PR release #17139: completed by github-merge-queue bot
January 13, 2025 05:37 3s
January 13, 2025 05:37 3s
feat: exhaustive offset constraint propagation in the grind tactic Backport #6354: Pull request #6618 closed by leodemoura
January 13, 2025 05:10 11s
January 13, 2025 05:10 11s
feat: exhaustive offset constraint propagation in the grind tactic … Nix CI #23215: Commit 2421f7f pushed by github-merge-queue bot
January 13, 2025 05:10 9m 17s master
master
January 13, 2025 05:10 9m 17s
feat: exhaustive offset constraint propagation in the grind tactic … CI #26511: Commit 2421f7f pushed by github-merge-queue bot
January 13, 2025 05:10 27m 6s master
master
January 13, 2025 05:10 27m 6s
feat: exhaustive offset constraint propagation in the grind tactic … Update stage0 #2549: Commit 2421f7f pushed by github-merge-queue bot
January 13, 2025 05:10 30s master
master
January 13, 2025 05:10 30s
PR release PR release #17138: completed by leodemoura
January 13, 2025 05:10 1s
January 13, 2025 05:10 1s
feat: exhaustive offset constraint propagation in the grind tactic Label PR based on Comment #9127: Issue comment #6618 (comment) created by leanprover-community-bot
January 13, 2025 04:42 2s
January 13, 2025 04:42 2s
Actionlint Actionlint #3217: Merge group checks requested
January 13, 2025 04:38 37s
January 13, 2025 04:38 37s
Nix CI Nix CI #23214: Merge group checks requested
January 13, 2025 04:38 9m 12s
January 13, 2025 04:38 9m 12s
Check PR body for changelog convention Check PR body for changelog convention #3268: Merge group checks requested
January 13, 2025 04:38 10s
January 13, 2025 04:38 10s
CI CI #26510: Merge group checks requested
January 13, 2025 04:38 31m 32s
January 13, 2025 04:38 31m 32s
Check for stage0 changes Check for stage0 changes #8259: Merge group checks requested
January 13, 2025 04:38 34s
January 13, 2025 04:38 34s
Check PR title for commit convention Check PR title for commit convention #13724: Merge group checks requested
January 13, 2025 04:38 10s
January 13, 2025 04:38 10s
PR release PR release #17137: completed by leodemoura
January 13, 2025 04:38 3m 46s
January 13, 2025 04:38 3m 46s
PR release PR release #17136: completed by leodemoura
January 13, 2025 04:18 1s
January 13, 2025 04:18 1s
feat: exhaustive offset constraint propagation in the grind tactic Check PR body for changelog convention #3267: Pull request #6618 synchronize by leodemoura
January 13, 2025 04:17 11s grind_propagation
grind_propagation
January 13, 2025 04:17 11s
feat: exhaustive offset constraint propagation in the grind tactic Check for stage0 changes #8258: Pull request #6618 synchronize by leodemoura
January 13, 2025 04:17 39s grind_propagation
grind_propagation
January 13, 2025 04:17 39s
feat: exhaustive offset constraint propagation in the grind tactic Check for modules that should use `prelude` #7495: Pull request #6618 synchronize by leodemoura
January 13, 2025 04:17 16s grind_propagation
grind_propagation
January 13, 2025 04:17 16s
feat: exhaustive offset constraint propagation in the grind tactic Nix CI #23213: Pull request #6618 synchronize by leodemoura
January 13, 2025 04:17 9m 19s grind_propagation
grind_propagation
January 13, 2025 04:17 9m 19s
feat: exhaustive offset constraint propagation in the grind tactic Check PR title for commit convention #13723: Pull request #6618 synchronize by leodemoura
January 13, 2025 04:17 15s grind_propagation
grind_propagation
January 13, 2025 04:17 15s
feat: exhaustive offset constraint propagation in the grind tactic Check for copyright header #7650: Pull request #6618 synchronize by leodemoura
January 13, 2025 04:17 34s grind_propagation
grind_propagation
January 13, 2025 04:17 34s
feat: exhaustive offset constraint propagation in the grind tactic CI #26509: Pull request #6618 synchronize by leodemoura
January 13, 2025 04:17 20m 28s grind_propagation
grind_propagation
January 13, 2025 04:17 20m 28s
feat: exhaustive offset constraint propagation in the grind tactic Check for stage0 changes #8257: Pull request #6618 opened by leodemoura
January 13, 2025 04:13 35s grind_propagation
grind_propagation
January 13, 2025 04:13 35s
feat: exhaustive offset constraint propagation in the grind tactic CI #26508: Pull request #6618 opened by leodemoura
January 13, 2025 04:13 4m 14s grind_propagation
grind_propagation
January 13, 2025 04:13 4m 14s
feat: exhaustive offset constraint propagation in the grind tactic Nix CI #23212: Pull request #6618 opened by leodemoura
January 13, 2025 04:13 4m 7s grind_propagation
grind_propagation
January 13, 2025 04:13 4m 7s