Skip to content

Actions: leanprover/lean4

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Grove Grove #11805: completed by hargoniX
2m 30s
2m 30s
PR release PR release #40315: completed by hargoniX
1s
1s
PR release PR release #40314: completed by sertonix
1s
1s
Grove Grove #11804: completed by sertonix
1s
1s
PR release PR release #40313: completed by github-merge-queue bot
2s
2s
Grove Grove #11803: completed by github-merge-queue bot
2m 16s
2m 16s
Warn/error on mixing tabs and spaces Label PR based on Comment #20386: Issue comment #339 (comment) created by nomeata
Skipped
Skipped
Warn/error on mixing tabs and spaces Label PR based on Comment #20385: Issue comment #339 (comment) created by sertonix
2s
2s
PR release PR release #40312: completed by sertonix
1s
1s
Grove Grove #11802: completed by sertonix
1s
1s
feat: expand logic to determine local time Check stdlib_flags.h modifications #587: Pull request #10509 synchronize by sertonix
6s sertonix:timedb-env
sertonix:timedb-env
6s
feat: expand logic to determine local time CI #49368: Pull request #10509 synchronize by sertonix
58m 56s sertonix:timedb-env
sertonix:timedb-env
58m 56s
feat: expand logic to determine local time Check PR body for changelog convention #30743: Pull request #10509 synchronize by sertonix
5s sertonix:timedb-env
sertonix:timedb-env
5s
feat: expand logic to determine local time Check PR title for commit convention #34829: Pull request #10509 synchronize by sertonix
8s sertonix:timedb-env
sertonix:timedb-env
8s
feat: expand logic to determine local time Check for stage0 changes #26564: Pull request #10509 synchronize by sertonix
36s sertonix:timedb-env
sertonix:timedb-env
36s
feat: expand logic to determine local time Check awaiting-manual label #11915: Pull request #10509 synchronize by sertonix
8s sertonix:timedb-env
sertonix:timedb-env
8s
feat: expand logic to determine local time Check awaiting-mathlib label #19585: Pull request #10509 synchronize by sertonix
6s sertonix:timedb-env
sertonix:timedb-env
6s
feat: expand logic to determine local time Check for modules that should use `prelude` #21529: Pull request #10509 synchronize by sertonix
10s sertonix:timedb-env
sertonix:timedb-env
10s
feat: expand logic to determine local time Check for copyright header #21684: Pull request #10509 synchronize by sertonix
29s sertonix:timedb-env
sertonix:timedb-env
29s
feat: expand logic to determine local time CI #49367: Pull request #10509 synchronize by sertonix
10m 57s sertonix:timedb-env
sertonix:timedb-env
10m 57s
feat: expand logic to determine local time Check for copyright header #21683: Pull request #10509 synchronize by sertonix
32s sertonix:timedb-env
sertonix:timedb-env
32s
feat: expand logic to determine local time Check stdlib_flags.h modifications #586: Pull request #10509 synchronize by sertonix
6s sertonix:timedb-env
sertonix:timedb-env
6s
feat: expand logic to determine local time Check awaiting-manual label #11914: Pull request #10509 synchronize by sertonix
5s sertonix:timedb-env
sertonix:timedb-env
5s
feat: expand logic to determine local time Check awaiting-mathlib label #19584: Pull request #10509 synchronize by sertonix
8s sertonix:timedb-env
sertonix:timedb-env
8s
feat: expand logic to determine local time Check PR body for changelog convention #30742: Pull request #10509 synchronize by sertonix
8s sertonix:timedb-env
sertonix:timedb-env
8s