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
PR release PR release #57761: completed by algebraic-dev
10m 0s
10m 0s
Grove Grove #29250: completed by algebraic-dev
44s
44s
Grove Grove #29249: completed by github-merge-queue Bot
2m 13s
2m 13s
PR release PR release #57760: completed by github-merge-queue Bot
1s
1s
fix: make Std.Time patterns read back their own output Check PR title for commit convention #51904: Pull request #16258 opened by algebraic-dev
8s sofia/fix-time-format-roundtrip
sofia/fix-time-format-roundtrip
8s
fix: make Std.Time patterns read back their own output Check for stage0 changes #40332: Pull request #16258 opened by algebraic-dev
1m 8s sofia/fix-time-format-roundtrip
sofia/fix-time-format-roundtrip
1m 8s
fix: make Std.Time patterns read back their own output Check for copyright header #32495: Pull request #16258 opened by algebraic-dev
1m 7s sofia/fix-time-format-roundtrip
sofia/fix-time-format-roundtrip
1m 7s
fix: make Std.Time patterns read back their own output Check for modules that should use `prelude` #32339: Pull request #16258 opened by algebraic-dev
12s sofia/fix-time-format-roundtrip
sofia/fix-time-format-roundtrip
12s
fix: make Std.Time patterns read back their own output CI #66292: Pull request #16258 opened by algebraic-dev
9m 10s sofia/fix-time-format-roundtrip
sofia/fix-time-format-roundtrip
9m 10s
fix: make Std.Time patterns read back their own output Check for empty PR #9588: Pull request #16258 opened by algebraic-dev
1m 10s sofia/fix-time-format-roundtrip
sofia/fix-time-format-roundtrip
1m 10s
fix: make Std.Time patterns read back their own output Restart by label #13928: Pull request #16258 labeled by algebraic-dev
2s
2s
fix: make Std.Time patterns read back their own output Adaptation PR #7170: Pull request #16258 labeled by algebraic-dev
2s
2s
fix: make Std.Time patterns read back their own output Check stdlib_flags.h modifications #17090: Pull request #16258 labeled by algebraic-dev
10s
10s
fix: make Std.Time patterns read back their own output Backport #23882: Pull request #16258 labeled by algebraic-dev
2s
2s
fix: make Std.Time patterns read back their own output Check PR body for changelog convention #54104: Pull request #16258 labeled by algebraic-dev
8s
8s
fix: make Std.Time patterns read back their own output Check stdlib_flags.h modifications #17089: Pull request #16258 opened by algebraic-dev
12s
12s
fix: make Std.Time patterns read back their own output Check PR body for changelog convention #54103: Pull request #16258 opened by algebraic-dev
9s
9s
feat: keep haves above a split match in equation lemmas Check stdlib_flags.h modifications #17088: Pull request #16235 synchronize by sgraf812
7s
7s
feat: keep haves above a split match in equation lemmas Adaptation PR #7169: Pull request #16235 synchronize by sgraf812
32s
32s
feat: keep haves above a split match in equation lemmas Check PR body for changelog convention #54102: Pull request #16235 synchronize by sgraf812
9s
9s
IO.appPath fails when /proc belongs to another PID namespace Jira sync #1363: Issue #15692 closed by Kha
3m 14s
3m 14s
fix: locate the executable via /proc/self/exe Backport #23881: Pull request #15779 closed by Kha
4m 23s
4m 23s
fix: locate the executable via /proc/self/exe Adaptation PR #7168: Pull request #15779 closed by Kha
4m 59s
4m 59s
fix: locate the executable via /proc/self/exe (#15779) CI #66291: Commit f5be489 pushed by github-merge-queue Bot
39m 25s master
master
39m 25s
fix: locate the executable via /proc/self/exe (#15779) Update stage0 #9635: Commit f5be489 pushed by github-merge-queue Bot
9m 23s master
master
9m 23s