Skip to content

Actions: leanprover/lean4

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: define ISize and basic operations on it Nix CI #20608: Pull request #5961 synchronize by hargoniX
November 5, 2024 13:53 4m 6s hbv/isize
hbv/isize
November 5, 2024 13:53 4m 6s
feat: define ISize and basic operations on it Restart by label #1641: Pull request #5961 unlabeled by hargoniX
November 5, 2024 13:53 48s
November 5, 2024 13:53 48s
feat: define ISize and basic operations on it Label PR based on Comment #7841: Issue comment #5961 (comment) created by hargoniX
November 5, 2024 13:53 14s
November 5, 2024 13:53 14s
PR release PR release #14408: completed by TwoFX
November 5, 2024 13:18 2s
November 5, 2024 13:18 2s
RFC: unify the syntax of rw and unfold Label PR based on Comment #7840: Issue comment #5960 (comment) created by nomeata
November 5, 2024 13:08 2s
November 5, 2024 13:08 2s
PR release PR release #14407: completed by github-merge-queue bot
November 5, 2024 12:27 2s
November 5, 2024 12:27 2s
fix: do not link statically against pthread/dl/rt Check PR title for commit convention #11183: Pull request #5966 edited by TwoFX
November 5, 2024 12:26 35s glibc-hotfix
glibc-hotfix
November 5, 2024 12:26 35s
PR release PR release #14406: completed by TwoFX
November 5, 2024 12:25 2s
November 5, 2024 12:25 2s
fix: do not link statically against pthread/dl/rt Check PR title for commit convention #11182: Pull request #5966 opened by TwoFX
November 5, 2024 12:25 10s glibc-hotfix
glibc-hotfix
November 5, 2024 12:25 10s
fix: do not link statically against pthread/dl/rt Check for modules that should use `prelude` #5906: Pull request #5966 opened by TwoFX
November 5, 2024 12:25 13s glibc-hotfix
glibc-hotfix
November 5, 2024 12:25 13s
fix: do not link statically against pthread/dl/rt Nix CI #20607: Pull request #5966 opened by TwoFX
November 5, 2024 12:25 7m 35s glibc-hotfix
glibc-hotfix
November 5, 2024 12:25 7m 35s
fix: do not link statically against pthread/dl/rt Check for stage0 changes #6131: Pull request #5966 opened by TwoFX
November 5, 2024 12:25 36s glibc-hotfix
glibc-hotfix
November 5, 2024 12:25 36s
fix: do not link statically against pthread/dl/rt Check for copyright header #6061: Pull request #5966 opened by TwoFX
November 5, 2024 12:25 28s glibc-hotfix
glibc-hotfix
November 5, 2024 12:25 28s
fix: do not link statically against pthread/dl/rt CI #23826: Pull request #5966 opened by TwoFX
November 5, 2024 12:25 13m 41s glibc-hotfix
glibc-hotfix
November 5, 2024 12:25 13m 41s
fix: do not link statically against pthread/dl/rt Restart by label #1640: Pull request #5966 labeled by TwoFX
November 5, 2024 12:25 54s
November 5, 2024 12:25 54s
fix: do not link statically against pthread/dl/rt Backport #4964: Pull request #5966 labeled by TwoFX
November 5, 2024 12:25 3s
November 5, 2024 12:25 3s
PR release PR release #14405: completed by nomeata
November 5, 2024 12:10 3m 32s
November 5, 2024 12:10 3m 32s
PR release PR release #14404: completed by github-merge-queue bot
November 5, 2024 12:04 2s
November 5, 2024 12:04 2s
chore: CI: bump dcarbone/install-jq-action from 1.0.1 to 2.1.0 Backport #4963: Pull request #5965 closed by Kha
November 5, 2024 12:04 1m 22s
November 5, 2024 12:04 1m 22s
chore: CI: bump dcarbone/install-jq-action from 1.0.1 to 2.1.0 (#5965) Nix CI #20606: Commit c6e4947 pushed by github-merge-queue bot
November 5, 2024 12:03 7m 51s master
master
November 5, 2024 12:03 7m 51s
chore: CI: bump dcarbone/install-jq-action from 1.0.1 to 2.1.0 (#5965) CI #23825: Commit c6e4947 pushed by github-merge-queue bot
November 5, 2024 12:03 23m 54s master
master
November 5, 2024 12:03 23m 54s
chore: CI: bump dcarbone/install-jq-action from 1.0.1 to 2.1.0 (#5965) Actionlint #2611: Commit c6e4947 pushed by github-merge-queue bot
November 5, 2024 12:03 47s master
master
November 5, 2024 12:03 47s
chore: CI: bump dcarbone/install-jq-action from 1.0.1 to 2.1.0 (#5965) Update stage0 #2064: Commit c6e4947 pushed by github-merge-queue bot
November 5, 2024 12:03 1m 42s master
master
November 5, 2024 12:03 1m 42s
PR release PR release #14403: completed by Kha
November 5, 2024 12:03 2s
November 5, 2024 12:03 2s
PR release PR release #14402: completed by Kha
November 5, 2024 11:59 3s
November 5, 2024 11:59 3s