Skip to content

Actions: leanprover/lean4

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: offset constraints support for the grind tactic (WIP) CI #26442: Pull request #6603 synchronize by leodemoura
January 11, 2025 16:13 In progress grind_offset_arith
grind_offset_arith
January 11, 2025 16:13 In progress
feat: offset constraints support for the grind tactic (WIP) Check for copyright header #7615: Pull request #6603 synchronize by leodemoura
January 11, 2025 16:13 31s grind_offset_arith
grind_offset_arith
January 11, 2025 16:13 31s
feat: offset constraints support for the grind tactic (WIP) Check for modules that should use `prelude` #7460: Pull request #6603 synchronize by leodemoura
January 11, 2025 16:13 14s grind_offset_arith
grind_offset_arith
January 11, 2025 16:13 14s
feat: offset constraints support for the grind tactic (WIP) Check PR body for changelog convention #3192: Pull request #6603 synchronize by leodemoura
January 11, 2025 16:13 11s grind_offset_arith
grind_offset_arith
January 11, 2025 16:13 11s
feat: offset constraints support for the grind tactic (WIP) Check for stage0 changes #8207: Pull request #6603 synchronize by leodemoura
January 11, 2025 16:13 35s grind_offset_arith
grind_offset_arith
January 11, 2025 16:13 35s
feat: offset constraints support for the grind tactic (WIP) Nix CI #23147: Pull request #6603 synchronize by leodemoura
January 11, 2025 16:13 6m 55s grind_offset_arith
grind_offset_arith
January 11, 2025 16:13 6m 55s
feat: offset constraints support for the grind tactic (WIP) Check PR title for commit convention #13667: Pull request #6603 synchronize by leodemoura
January 11, 2025 16:13 11s grind_offset_arith
grind_offset_arith
January 11, 2025 16:13 11s
PR release PR release #17069: completed by leodemoura
January 11, 2025 13:57 2s
January 11, 2025 13:57 2s
feat: offset constraints support for the grind tactic (WIP) Check PR body for changelog convention #3191: Pull request #6603 synchronize by leodemoura
January 11, 2025 13:46 13s grind_offset_arith
grind_offset_arith
January 11, 2025 13:46 13s
feat: offset constraints support for the grind tactic (WIP) Check PR title for commit convention #13666: Pull request #6603 synchronize by leodemoura
January 11, 2025 13:46 12s grind_offset_arith
grind_offset_arith
January 11, 2025 13:46 12s
feat: offset constraints support for the grind tactic (WIP) Check for modules that should use `prelude` #7459: Pull request #6603 synchronize by leodemoura
January 11, 2025 13:46 12s grind_offset_arith
grind_offset_arith
January 11, 2025 13:46 12s
feat: offset constraints support for the grind tactic (WIP) CI #26441: Pull request #6603 synchronize by leodemoura
January 11, 2025 13:46 10m 56s grind_offset_arith
grind_offset_arith
January 11, 2025 13:46 10m 56s
feat: offset constraints support for the grind tactic (WIP) Nix CI #23146: Pull request #6603 synchronize by leodemoura
January 11, 2025 13:46 5m 38s grind_offset_arith
grind_offset_arith
January 11, 2025 13:46 5m 38s
feat: offset constraints support for the grind tactic (WIP) Check for copyright header #7614: Pull request #6603 synchronize by leodemoura
January 11, 2025 13:46 34s grind_offset_arith
grind_offset_arith
January 11, 2025 13:46 34s
feat: offset constraints support for the grind tactic (WIP) Check for stage0 changes #8206: Pull request #6603 synchronize by leodemoura
January 11, 2025 13:46 36s grind_offset_arith
grind_offset_arith
January 11, 2025 13:46 36s
fix: allow dot idents to resolve to local names Check PR body for changelog convention #3190: Pull request #6602 ready_for_review by cppio
January 11, 2025 12:39 12s cppio:dot-ident-mutual
cppio:dot-ident-mutual
January 11, 2025 12:39 12s
fix: allow dot idents to resolve to local names Label PR based on Comment #9105: Issue comment #6602 (comment) created by cppio
January 11, 2025 12:39 10s
January 11, 2025 12:39 10s
fix: allow dot idents to resolve to local names Check PR body for changelog convention #3189: Pull request #6602 labeled by nomeata
January 11, 2025 08:54 8s cppio:dot-ident-mutual
cppio:dot-ident-mutual
January 11, 2025 08:54 8s
fix: allow dot idents to resolve to local names Restart by label #2605: Pull request #6602 labeled by nomeata
January 11, 2025 08:54 2s
January 11, 2025 08:54 2s
fix: allow dot idents to resolve to local names Backport #6320: Pull request #6602 labeled by nomeata
January 11, 2025 08:54 2s
January 11, 2025 08:54 2s
dot ident notation cannot refer to recursive call Label PR based on Comment #9104: Issue comment #6601 (comment) created by nomeata
January 11, 2025 08:54 2s
January 11, 2025 08:54 2s
PR release PR release #17068: completed by Kha
January 11, 2025 08:32 2s
January 11, 2025 08:32 2s
CI CI #26440: Scheduled
January 11, 2025 07:04 1h 28m 11s master
master
January 11, 2025 07:04 1h 28m 11s
fix: allow dot idents to resolve to local names Check PR title for commit convention #13665: Pull request #6602 edited by cppio
January 11, 2025 03:02 13s cppio:dot-ident-mutual
cppio:dot-ident-mutual
January 11, 2025 03:02 13s
fix: allow dot idents to resolve to local names Check PR body for changelog convention #3188: Pull request #6602 edited by cppio
January 11, 2025 03:02 13s cppio:dot-ident-mutual
cppio:dot-ident-mutual
January 11, 2025 03:02 13s