Skip to content

Actions: leanprover/lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
feat: introduce Std.Internal.SSL.Context CI #63190: Pull request #14064 synchronize by algebraic-dev
In progress sofia/openssl-socket-context
sofia/openssl-socket-context
In progress
feat: introduce Std.Internal.SSL.Context Check for stage0 changes #37864: Pull request #14064 synchronize by algebraic-dev
1m 24s sofia/openssl-socket-context
sofia/openssl-socket-context
1m 24s
feat: introduce Std.Internal.SSL.Context Check for modules that should use `prelude` #30474: Pull request #14064 synchronize by algebraic-dev
15s sofia/openssl-socket-context
sofia/openssl-socket-context
15s
feat: introduce Std.Internal.SSL.Context Check PR title for commit convention #48799: Pull request #14064 synchronize by algebraic-dev
7s sofia/openssl-socket-context
sofia/openssl-socket-context
7s
feat: introduce Std.Internal.SSL.Context Check for empty PR #7120: Pull request #14064 synchronize by algebraic-dev
1m 9s sofia/openssl-socket-context
sofia/openssl-socket-context
1m 9s
feat: introduce Std.Internal.SSL.Context Check for copyright header #30630: Pull request #14064 synchronize by algebraic-dev
1m 7s sofia/openssl-socket-context
sofia/openssl-socket-context
1m 7s
feat: introduce Std.Internal.SSL.Context Check stdlib_flags.h modifications #14389: Pull request #14064 synchronize by algebraic-dev
8s
8s
feat: introduce Std.Internal.SSL.Context Check PR body for changelog convention #49951: Pull request #14064 synchronize by algebraic-dev
7s
7s
feat: introduce Std.Internal.SSL.Context Adaptation PR #3778: Pull request #14064 synchronize by algebraic-dev
11s
11s
Grove Grove #26066: completed by algebraic-dev
30s
30s
PR release PR release #54578: completed by algebraic-dev
7m 26s
7m 26s
feat: introduce Std.Internal.SSL.Context CI #63189: Pull request #14064 synchronize by algebraic-dev
14m 26s sofia/openssl-socket-context
sofia/openssl-socket-context
14m 26s
feat: introduce Std.Internal.SSL.Context Check for copyright header #30629: Pull request #14064 synchronize by algebraic-dev
1m 15s sofia/openssl-socket-context
sofia/openssl-socket-context
1m 15s
feat: introduce Std.Internal.SSL.Context Check for modules that should use `prelude` #30473: Pull request #14064 synchronize by algebraic-dev
13s sofia/openssl-socket-context
sofia/openssl-socket-context
13s
feat: introduce Std.Internal.SSL.Context Check PR title for commit convention #48798: Pull request #14064 synchronize by algebraic-dev
6s sofia/openssl-socket-context
sofia/openssl-socket-context
6s
feat: introduce Std.Internal.SSL.Context Check for stage0 changes #37863: Pull request #14064 synchronize by algebraic-dev
1m 20s sofia/openssl-socket-context
sofia/openssl-socket-context
1m 20s
feat: introduce Std.Internal.SSL.Context Check for empty PR #7119: Pull request #14064 synchronize by algebraic-dev
1m 30s sofia/openssl-socket-context
sofia/openssl-socket-context
1m 30s
feat: introduce Std.Internal.SSL.Context Check stdlib_flags.h modifications #14388: Pull request #14064 synchronize by algebraic-dev
7s
7s
feat: introduce Std.Internal.SSL.Context Adaptation PR #3777: Pull request #14064 synchronize by algebraic-dev
11s
11s
feat: introduce Std.Internal.SSL.Context Check PR body for changelog convention #49950: Pull request #14064 synchronize by algebraic-dev
8s
8s
fix: use v in Lean.toolchain for release versions Restart by label #13122: Pull request #15150 unlabeled by Garmelon
1s
1s
fix: use v in Lean.toolchain for release versions Check PR body for changelog convention #49949: Pull request #15150 unlabeled by Garmelon
7s
7s
fix: use v in Lean.toolchain for release versions Check stdlib_flags.h modifications #14387: Pull request #15150 unlabeled by Garmelon
8s
8s
Lake 4.34.0-rc2 crashes on macOS 27 (Golden Gate) Label PR based on Comment #30825: Issue comment #15087 (comment) created by johoelzl
Skipped
Skipped
Lake 4.34.0-rc2 crashes on macOS 27 (Golden Gate) Jira sync #1222: Issue #15087 closed by johoelzl
6s
6s