Skip to content

Actions: leanprover/lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,878 workflow run results
1,878 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

PR release PR release #941: completed by kim-em
November 4, 2023 07:49 6m 53s
November 4, 2023 07:49 6m 53s
PR release PR release #940: completed by kim-em
November 4, 2023 07:41 12s
November 4, 2023 07:41 12s
CI CI #10620: Scheduled
November 4, 2023 07:11 1h 11m 15s master
master
November 4, 2023 07:11 1h 11m 15s
chore: testing new combined CI Nix CI #8222: Pull request #2803 synchronize by kim-em
November 4, 2023 07:01 4m 24s kim-em:CI-testing
kim-em:CI-testing
November 4, 2023 07:01 4m 24s
chore: testing new combined CI CI #10619: Pull request #2803 synchronize by kim-em
November 4, 2023 07:01 48m 47s kim-em:CI-testing
kim-em:CI-testing
November 4, 2023 07:01 48m 47s
chore: still fixing CI (#2817) CI #10618: Commit 8cf9d13 pushed by kim-em
November 4, 2023 06:32 1h 9m 34s master
master
November 4, 2023 06:32 1h 9m 34s
chore: still fixing CI (#2817) Nix CI #8221: Commit 8cf9d13 pushed by kim-em
November 4, 2023 06:32 2m 56s master
master
November 4, 2023 06:32 2m 56s
chore: still fixing Mathlib CI add PR to changelog #568: Pull request #2817 closed by kim-em
November 4, 2023 06:32 2s
November 4, 2023 06:32 2s
chore: still fixing Mathlib CI Backport #353: Pull request #2817 closed by kim-em
November 4, 2023 06:32 13s
November 4, 2023 06:32 13s
PR release PR release #939: completed by kim-em
November 4, 2023 06:32 12s
November 4, 2023 06:32 12s
PR release PR release #938: completed by kim-em
November 4, 2023 06:09 6m 25s
November 4, 2023 06:09 6m 25s
chore: still fixing Mathlib CI sanity-check opened PRs #1226: Pull request #2817 opened by kim-em
November 4, 2023 05:14 9s
November 4, 2023 05:14 9s
chore: still fixing Mathlib CI Nix CI #8220: Pull request #2817 opened by kim-em
November 4, 2023 05:14 2m 38s CI_fix6
CI_fix6
November 4, 2023 05:14 2m 38s
chore: still fixing Mathlib CI CI #10617: Pull request #2817 opened by kim-em
November 4, 2023 05:14 1h 17m 14s CI_fix6
CI_fix6
November 4, 2023 05:14 1h 17m 14s
feat: find Decidable instances via unification Nix CI #8219: Pull request #2816 opened by kim-em
November 4, 2023 04:59 33m 25s decide_eq_true_eq
decide_eq_true_eq
November 4, 2023 04:59 33m 25s
feat: find Decidable instances via unification CI #10616: Pull request #2816 opened by kim-em
November 4, 2023 04:59 1h 10m 7s decide_eq_true_eq
decide_eq_true_eq
November 4, 2023 04:59 1h 10m 7s
feat: find Decidable instances via unification Backport #352: Pull request #2816 labeled by kim-em
November 4, 2023 04:59 2s
November 4, 2023 04:59 2s
feat: find Decidable instances via unification sanity-check opened PRs #1225: Pull request #2816 opened by kim-em
November 4, 2023 04:59 15s
November 4, 2023 04:59 15s
Label stale PRs Label stale PRs #48: Scheduled
November 4, 2023 02:01 15s master
master
November 4, 2023 02:01 15s
doc: In testing doc, suggest make to pick up new tests Label PR based on Comment #1043: Issue comment #2815 (comment) created by digama0
November 4, 2023 00:13 3s
November 4, 2023 00:13 3s
feat: embed and check githash in .olean Label PR based on Comment #1042: Issue comment #2766 (comment) created by digama0
November 3, 2023 23:48 2s
November 3, 2023 23:48 2s
PR release PR release #937: completed by nomeata
November 3, 2023 22:39 8m 50s
November 3, 2023 22:39 8m 50s
fix: Move RecApp marker further inside the expression Label PR based on Comment #1041: Issue comment #2814 (comment) created by nomeata
November 3, 2023 21:30 10s
November 3, 2023 21:30 10s
fix: Move RecApp marker further inside the expression CI #10615: Pull request #2814 synchronize by nomeata
November 3, 2023 21:27 1h 12m 8s joachim/issue2810-take-two
joachim/issue2810-take-two
November 3, 2023 21:27 1h 12m 8s
fix: Move RecApp marker further inside the expression Nix CI #8218: Pull request #2814 synchronize by nomeata
November 3, 2023 21:27 16m 17s joachim/issue2810-take-two
joachim/issue2810-take-two
November 3, 2023 21:27 16m 17s