Skip to content

Actions: opencompl/lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,986 workflow runs
2,986 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

PR release PR release #623: completed by alexkeizer
October 28, 2024 07:01 2s
October 28, 2024 07:01 2s
CI CI #623: Scheduled
October 28, 2024 07:01 27s master
master
October 28, 2024 07:01 27s
Label stale PRs Label stale PRs #248: Scheduled
October 28, 2024 02:03 11s master
master
October 28, 2024 02:03 11s
PR release PR release #622: completed by mhk119
October 27, 2024 20:10 2s
October 27, 2024 20:10 2s
PR release PR release #621: completed by mhk119
October 27, 2024 19:53 2s
October 27, 2024 19:53 2s
feat: toNat theorems for signExtend Check for modules that should use `prelude` #260: Pull request #30 synchronize by mhk119
October 27, 2024 19:53 17s signExtend
signExtend
October 27, 2024 19:53 17s
feat: toNat theorems for signExtend Nix CI #315: Pull request #30 synchronize by mhk119
October 27, 2024 19:53 15m 52s signExtend
signExtend
October 27, 2024 19:53 15m 52s
feat: toNat theorems for signExtend Check for copyright header #260: Pull request #30 synchronize by mhk119
October 27, 2024 19:53 28s signExtend
signExtend
October 27, 2024 19:53 28s
feat: toNat theorems for signExtend Check for stage0 changes #257: Pull request #30 synchronize by mhk119
October 27, 2024 19:53 31s signExtend
signExtend
October 27, 2024 19:53 31s
feat: toNat theorems for signExtend CI #622: Pull request #30 synchronize by mhk119
October 27, 2024 19:53 16m 43s signExtend
signExtend
October 27, 2024 19:53 16m 43s
feat: toNat theorems for signExtend Check PR title for commit convention #287: Pull request #30 synchronize by mhk119
October 27, 2024 19:53 11s signExtend
signExtend
October 27, 2024 19:53 11s
PR release PR release #620: completed by mhk119
October 27, 2024 19:49 2s
October 27, 2024 19:49 2s
feat: toNat theorems for signExtend Check for modules that should use `prelude` #259: Pull request #30 synchronize by mhk119
October 27, 2024 19:48 16s signExtend
signExtend
October 27, 2024 19:48 16s
feat: toNat theorems for signExtend Check for stage0 changes #256: Pull request #30 synchronize by mhk119
October 27, 2024 19:48 30s signExtend
signExtend
October 27, 2024 19:48 30s
feat: toNat theorems for signExtend Check for copyright header #259: Pull request #30 synchronize by mhk119
October 27, 2024 19:48 32s signExtend
signExtend
October 27, 2024 19:48 32s
feat: toNat theorems for signExtend Nix CI #314: Pull request #30 synchronize by mhk119
October 27, 2024 19:48 5m 5s signExtend
signExtend
October 27, 2024 19:48 5m 5s
feat: toNat theorems for signExtend Check PR title for commit convention #286: Pull request #30 synchronize by mhk119
October 27, 2024 19:48 13s signExtend
signExtend
October 27, 2024 19:48 13s
feat: toNat theorems for signExtend CI #621: Pull request #30 synchronize by mhk119
October 27, 2024 19:48 5m 9s signExtend
signExtend
October 27, 2024 19:48 5m 9s
feat: toNat theorems for signExtend Nix CI #313: Pull request #30 opened by mhk119
October 27, 2024 19:40 8m 5s signExtend
signExtend
October 27, 2024 19:40 8m 5s
feat: toNat theorems for signExtend Check for modules that should use `prelude` #258: Pull request #30 opened by mhk119
October 27, 2024 19:40 16s signExtend
signExtend
October 27, 2024 19:40 16s
feat: toNat theorems for signExtend Check PR title for commit convention #285: Pull request #30 opened by mhk119
October 27, 2024 19:40 11s signExtend
signExtend
October 27, 2024 19:40 11s
feat: toNat theorems for signExtend Check for copyright header #258: Pull request #30 opened by mhk119
October 27, 2024 19:40 31s signExtend
signExtend
October 27, 2024 19:40 31s
feat: toNat theorems for signExtend Check for stage0 changes #255: Pull request #30 opened by mhk119
October 27, 2024 19:40 30s signExtend
signExtend
October 27, 2024 19:40 30s
feat: toNat theorems for signExtend CI #620: Pull request #30 opened by mhk119
October 27, 2024 19:40 8m 9s signExtend
signExtend
October 27, 2024 19:40 8m 9s
PR release PR release #619: completed by tobiasgrosser
October 27, 2024 15:51 2s
October 27, 2024 15:51 2s