Skip to content

Actions: leanprover/lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
91,900 workflow run results
91,900 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: relate Array.isPrefixOf with List.isPrefixOf Nix CI #20625: Pull request #5971 opened by kim-em
November 5, 2024 23:08 10m 22s relate_isPrefixOf
relate_isPrefixOf
November 5, 2024 23:08 10m 22s
feat: relate Array.isPrefixOf with List.isPrefixOf CI #23844: Pull request #5971 opened by kim-em
November 5, 2024 23:08 10m 22s relate_isPrefixOf
relate_isPrefixOf
November 5, 2024 23:08 10m 22s
feat: relate Array.isPrefixOf with List.isPrefixOf Check for stage0 changes #6145: Pull request #5971 opened by kim-em
November 5, 2024 23:08 41s relate_isPrefixOf
relate_isPrefixOf
November 5, 2024 23:08 41s
feat: relate Array.isPrefixOf with List.isPrefixOf Check for copyright header #6071: Pull request #5971 opened by kim-em
November 5, 2024 23:08 29s relate_isPrefixOf
relate_isPrefixOf
November 5, 2024 23:08 29s
chore: upstream List.insertIdx from Batteries, lemmas from Mathlib, and revise lemmas Label PR based on Comment #7850: Issue comment #5969 (comment) created by leanprover-community-bot
November 5, 2024 22:47 2s
November 5, 2024 22:47 2s
PR release PR release #14427: completed by kim-em
November 5, 2024 22:47 2s
November 5, 2024 22:47 2s
PR release PR release #14426: completed by kim-em
November 5, 2024 22:43 4m 24s
November 5, 2024 22:43 4m 24s
fix: do not link statically against pthread/dl/rt (#5966) Nix CI #20624: Commit 7dc1ceb pushed by kim-em
November 5, 2024 22:37 16m 8s v4.14.0-rc2
v4.14.0-rc2
November 5, 2024 22:37 16m 8s
fix: do not link statically against pthread/dl/rt (#5966) CI #23843: Commit 7dc1ceb pushed by kim-em
November 5, 2024 22:37 1h 15m 41s v4.14.0-rc2
v4.14.0-rc2
November 5, 2024 22:37 1h 15m 41s
fix: do not link statically against pthread/dl/rt Backport #4968: Pull request #5966 labeled by kim-em
November 5, 2024 22:36 1m 57s
November 5, 2024 22:36 1m 57s
fix: do not link statically against pthread/dl/rt Restart by label #1643: Pull request #5966 labeled by kim-em
November 5, 2024 22:36 2s
November 5, 2024 22:36 2s
chore: deprecate Array.split in favour of identical Array.partition CI #23842: Pull request #5970 opened by kim-em
November 5, 2024 22:33 13m 18s deprecate_array_split
deprecate_array_split
November 5, 2024 22:33 13m 18s
chore: deprecate Array.split in favour of identical Array.partition Check PR title for commit convention #11198: Pull request #5970 opened by kim-em
November 5, 2024 22:33 10s deprecate_array_split
deprecate_array_split
November 5, 2024 22:33 10s
chore: deprecate Array.split in favour of identical Array.partition Check for modules that should use `prelude` #5915: Pull request #5970 opened by kim-em
November 5, 2024 22:33 12s deprecate_array_split
deprecate_array_split
November 5, 2024 22:33 12s
chore: deprecate Array.split in favour of identical Array.partition Check for stage0 changes #6144: Pull request #5970 opened by kim-em
November 5, 2024 22:33 39s deprecate_array_split
deprecate_array_split
November 5, 2024 22:33 39s
chore: deprecate Array.split in favour of identical Array.partition Check for copyright header #6070: Pull request #5970 opened by kim-em
November 5, 2024 22:33 30s deprecate_array_split
deprecate_array_split
November 5, 2024 22:33 30s
chore: deprecate Array.split in favour of identical Array.partition Nix CI #20623: Pull request #5970 opened by kim-em
November 5, 2024 22:33 9m 34s deprecate_array_split
deprecate_array_split
November 5, 2024 22:33 9m 34s
chore: upstream List.insertIdx from Batteries, lemmas from Mathlib, and revise lemmas Check for stage0 changes #6143: Pull request #5969 opened by kim-em
November 5, 2024 22:27 37s upstream_insertIdx
upstream_insertIdx
November 5, 2024 22:27 37s
chore: upstream List.insertIdx from Batteries, lemmas from Mathlib, and revise lemmas Check PR title for commit convention #11197: Pull request #5969 opened by kim-em
November 5, 2024 22:27 11s upstream_insertIdx
upstream_insertIdx
November 5, 2024 22:27 11s
chore: upstream List.insertIdx from Batteries, lemmas from Mathlib, and revise lemmas Check for modules that should use `prelude` #5914: Pull request #5969 opened by kim-em
November 5, 2024 22:27 16s upstream_insertIdx
upstream_insertIdx
November 5, 2024 22:27 16s
chore: upstream List.insertIdx from Batteries, lemmas from Mathlib, and revise lemmas Check for copyright header #6069: Pull request #5969 opened by kim-em
November 5, 2024 22:27 28s upstream_insertIdx
upstream_insertIdx
November 5, 2024 22:27 28s
chore: upstream List.insertIdx from Batteries, lemmas from Mathlib, and revise lemmas CI #23841: Pull request #5969 opened by kim-em
November 5, 2024 22:27 16m 5s upstream_insertIdx
upstream_insertIdx
November 5, 2024 22:27 16m 5s
chore: upstream List.insertIdx from Batteries, lemmas from Mathlib, and revise lemmas Nix CI #20622: Pull request #5969 opened by kim-em
November 5, 2024 22:27 13m 18s upstream_insertIdx
upstream_insertIdx
November 5, 2024 22:27 13m 18s
RFC: Signed Fixed-width Integer Support Label PR based on Comment #7849: Issue comment #3162 (comment) created by omentic
November 5, 2024 21:15 3s
November 5, 2024 21:15 3s
PR release PR release #14425: completed by github-merge-queue bot
November 5, 2024 21:02 2s
November 5, 2024 21:02 2s