Skip to content

Actions: leanprover/lean4

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI CI #54508: Merge group checks requested
In progress
In progress
Actionlint Actionlint #9141: Merge group checks requested
40s
40s
Check PR body for changelog convention Check PR body for changelog convention #37294: Merge group checks requested
5s
5s
Check awaiting-mathlib label Check awaiting-mathlib label #25231: Merge group checks requested
7s
7s
Check for stage0 changes Check for stage0 changes #30738: Merge group checks requested
35s
35s
Check awaiting-manual label Check awaiting-manual label #17561: Merge group checks requested
7s
7s
Check PR title for commit convention Check PR title for commit convention #39807: Merge group checks requested
10s
10s
Label stale PRs Label stale PRs #918: Scheduled
23s master
master
23s
feat: add control and arrow_telescope simproc DSL primitives CI #54507: Pull request #13048 opened by leodemoura
In progress lean-sym-interactive-11
lean-sym-interactive-11
In progress
feat: add control and arrow_telescope simproc DSL primitives Check for modules that should use `prelude` #24807: Pull request #13048 opened by leodemoura
11s lean-sym-interactive-11
lean-sym-interactive-11
11s
feat: add control and arrow_telescope simproc DSL primitives Check for stage0 changes #30737: Pull request #13048 opened by leodemoura
41s lean-sym-interactive-11
lean-sym-interactive-11
41s
feat: add control and arrow_telescope simproc DSL primitives Check PR title for commit convention #39806: Pull request #13048 opened by leodemoura
8s lean-sym-interactive-11
lean-sym-interactive-11
8s
feat: add control and arrow_telescope simproc DSL primitives Check for copyright header #24962: Pull request #13048 opened by leodemoura
33s lean-sym-interactive-11
lean-sym-interactive-11
33s
feat: add control and arrow_telescope simproc DSL primitives Check stdlib_flags.h modifications #5338: Pull request #13048 opened by leodemoura
6s
6s
feat: add control and arrow_telescope simproc DSL primitives Backport #18217: Pull request #13048 labeled by leodemoura
1s
1s
feat: add control and arrow_telescope simproc DSL primitives Check stdlib_flags.h modifications #5337: Pull request #13048 labeled by leodemoura
8s
8s
feat: add control and arrow_telescope simproc DSL primitives Check PR body for changelog convention #37293: Pull request #13048 opened by leodemoura
6s
6s
feat: add control and arrow_telescope simproc DSL primitives Restart by label #10091: Pull request #13048 labeled by leodemoura
Skipped
Skipped
feat: add control and arrow_telescope simproc DSL primitives Check PR body for changelog convention #37292: Pull request #13048 labeled by leodemoura
6s
6s
feat: add control and arrow_telescope simproc DSL primitives Check awaiting-manual label #17560: Pull request #13048 labeled by leodemoura
8s
8s
feat: add control and arrow_telescope simproc DSL primitives Check awaiting-mathlib label #25230: Pull request #13048 opened by leodemoura
5s
5s
feat: add control and arrow_telescope simproc DSL primitives Check awaiting-manual label #17559: Pull request #13048 opened by leodemoura
6s
6s
feat: add control and arrow_telescope simproc DSL primitives Check awaiting-mathlib label #25229: Pull request #13048 labeled by leodemoura
7s
7s
fix: symm tactic should synthesize instances Label PR based on Comment #23912: Issue comment #13047 (comment) created by mathlib-lean-pr-testing bot
1s
1s
fix: symm tactic should synthesize instances Check PR body for changelog convention #37291: Pull request #13047 labeled by mathlib-lean-pr-testing bot
6s
6s