Skip to content

Actions: leanprover/lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
252,872 workflow runs
252,872 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

PR release PR release #40458: completed by alok
1s
1s
Grove Grove #11948: completed by alok
1s
1s
feat: add typeclass instances for common types Check PR body for changelog convention #30914: Pull request #11924 edited by alok
8s alok:feat/append-instances
alok:feat/append-instances
8s
feat: add typeclass instances for common types Check PR title for commit convention #34951: Pull request #11924 edited by alok
8s alok:feat/append-instances
alok:feat/append-instances
8s
feat: add typeclass instances for common types Check PR title for commit convention #34950: Pull request #11924 synchronize by alok
8s alok:feat/append-instances
alok:feat/append-instances
8s
feat: add typeclass instances for common types Check awaiting-mathlib label #19746: Pull request #11924 synchronize by alok
8s alok:feat/append-instances
alok:feat/append-instances
8s
feat: add typeclass instances for common types Check for copyright header #21770: Pull request #11924 synchronize by alok
39s alok:feat/append-instances
alok:feat/append-instances
39s
feat: add typeclass instances for common types Check awaiting-manual label #12076: Pull request #11924 synchronize by alok
8s alok:feat/append-instances
alok:feat/append-instances
8s
feat: add typeclass instances for common types Check for stage0 changes #26677: Pull request #11924 synchronize by alok
58s alok:feat/append-instances
alok:feat/append-instances
58s
feat: add typeclass instances for common types Check stdlib_flags.h modifications #721: Pull request #11924 synchronize by alok
6s alok:feat/append-instances
alok:feat/append-instances
6s
feat: add typeclass instances for common types CI #49512: Pull request #11924 synchronize by alok
In progress alok:feat/append-instances
alok:feat/append-instances
In progress
feat: add typeclass instances for common types Check PR body for changelog convention #30913: Pull request #11924 synchronize by alok
6s alok:feat/append-instances
alok:feat/append-instances
6s
feat: add typeclass instances for common types Check for modules that should use `prelude` #21615: Pull request #11924 synchronize by alok
12s alok:feat/append-instances
alok:feat/append-instances
12s
feat: add typeclass instances for common types Check PR body for changelog convention #30912: Pull request #11924 opened by alok
8s alok:feat/append-instances
alok:feat/append-instances
8s
feat: add typeclass instances for common types Check PR title for commit convention #34949: Pull request #11924 opened by alok
7s alok:feat/append-instances
alok:feat/append-instances
7s
feat: add typeclass instances for common types Check for modules that should use `prelude` #21614: Pull request #11924 opened by alok
11s alok:feat/append-instances
alok:feat/append-instances
11s
feat: add typeclass instances for common types Check for stage0 changes #26676: Pull request #11924 opened by alok
58s alok:feat/append-instances
alok:feat/append-instances
58s
feat: add typeclass instances for common types Check awaiting-mathlib label #19745: Pull request #11924 opened by alok
7s alok:feat/append-instances
alok:feat/append-instances
7s
feat: add typeclass instances for common types CI #49511: Pull request #11924 opened by alok
19m 2s alok:feat/append-instances
alok:feat/append-instances
19m 2s
feat: add typeclass instances for common types Check for copyright header #21769: Pull request #11924 opened by alok
42s alok:feat/append-instances
alok:feat/append-instances
42s
feat: add typeclass instances for common types Check awaiting-manual label #12075: Pull request #11924 opened by alok
8s alok:feat/append-instances
alok:feat/append-instances
8s
feat: add typeclass instances for common types Check stdlib_flags.h modifications #720: Pull request #11924 opened by alok
7s alok:feat/append-instances
alok:feat/append-instances
7s
PR release PR release #40457: completed by kim-em
1s
1s
Grove Grove #11947: completed by kim-em
1s
1s
fix: improve error message for initialize with missing Nonempty instance Label PR based on Comment #20461: Issue comment #11919 (comment) created by leanprover-bot
1s
1s