Skip to content

Actions: leanprover/lean4

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

doc: expand docstring for intros Backport #360: Pull request #2777 labeled by kmill
November 4, 2023 17:13 1s
November 4, 2023 17:13 1s
PR release PR release #953: completed by Kha
November 4, 2023 16:58 6m 39s
November 4, 2023 16:58 6m 39s
perf: avoid quadratic number of info tree nodes in DecEq deriving handler CI #10631: Pull request #2820 opened by Kha
November 4, 2023 15:54 1h 4m 32s Kha:deceq-no-info
Kha:deceq-no-info
November 4, 2023 15:54 1h 4m 32s
perf: avoid quadratic number of info tree nodes in DecEq deriving handler Nix CI #8233: Pull request #2820 opened by Kha
November 4, 2023 15:54 7m 48s Kha:deceq-no-info
Kha:deceq-no-info
November 4, 2023 15:54 7m 48s
perf: avoid quadratic number of info tree nodes in DecEq deriving handler sanity-check opened PRs #1229: Pull request #2820 opened by Kha
November 4, 2023 15:54 15s
November 4, 2023 15:54 15s
PR release PR release #952: completed by kim-em
November 4, 2023 14:29 6m 43s
November 4, 2023 14:29 6m 43s
PR release PR release #951: completed by kim-em
November 4, 2023 14:24 7m 35s
November 4, 2023 14:24 7m 35s
chore: change simp default to decide := false Backport #359: Pull request #2722 labeled by leanprover-community-mathlib4-bot
November 4, 2023 14:19 2s
November 4, 2023 14:19 2s
PR release PR release #950: completed by kim-em
November 4, 2023 13:55 6m 30s
November 4, 2023 13:55 6m 30s
PR release PR release #949: completed by kim-em
November 4, 2023 13:35 7m 19s
November 4, 2023 13:35 7m 19s
fix: ReducibilityHints.lt Nix CI #8232: Pull request #2750 synchronize by kim-em
November 4, 2023 12:46 12m 57s digama0:reducibility_hints
digama0:reducibility_hints
November 4, 2023 12:46 12m 57s
fix: ReducibilityHints.lt CI #10630: Pull request #2750 synchronize by kim-em
November 4, 2023 12:46 1h 42m 53s digama0:reducibility_hints
digama0:reducibility_hints
November 4, 2023 12:46 1h 42m 53s
doc: expand docstring for intros CI #10629: Pull request #2777 synchronize by kim-em
November 4, 2023 12:45 1h 38m 53s kmill:intros_docs
kmill:intros_docs
November 4, 2023 12:45 1h 38m 53s
doc: expand docstring for intros Nix CI #8231: Pull request #2777 synchronize by kim-em
November 4, 2023 12:45 35m 41s kmill:intros_docs
kmill:intros_docs
November 4, 2023 12:45 35m 41s
chore: testing new combined CI add PR to changelog #570: Pull request #2803 closed by kim-em
November 4, 2023 12:44 2s
November 4, 2023 12:44 2s
chore: testing new combined CI Backport #358: Pull request #2803 closed by kim-em
November 4, 2023 12:44 2s
November 4, 2023 12:44 2s
fix: rw argument elaboration Nix CI #8230: Pull request #2793 synchronize by kim-em
November 4, 2023 12:39 14m 57s issue_2736
issue_2736
November 4, 2023 12:39 14m 57s
fix: rw argument elaboration CI #10628: Pull request #2793 synchronize by kim-em
November 4, 2023 12:39 1h 15m 41s issue_2736
issue_2736
November 4, 2023 12:39 1h 15m 41s
fix: issue 2042 CI #10627: Pull request #2783 synchronize by kim-em
November 4, 2023 12:38 56m 26s issue_2042
issue_2042
November 4, 2023 12:38 56m 26s
fix: issue 2042 Nix CI #8229: Pull request #2783 synchronize by kim-em
November 4, 2023 12:38 31m 55s issue_2042
issue_2042
November 4, 2023 12:38 31m 55s
chore: change simp default to decide := false Backport #357: Pull request #2722 labeled by leanprover-community-mathlib4-bot
November 4, 2023 12:14 2s
November 4, 2023 12:14 2s
PR release PR release #948: completed by AdrienChampion
November 4, 2023 12:12 6m 36s
November 4, 2023 12:12 6m 36s
fix: fixes #2775 Backport #356: Pull request #2790 labeled by leanprover-community-mathlib4-bot
November 4, 2023 12:09 3s
November 4, 2023 12:09 3s
PR release PR release #947: completed by nomeata
November 4, 2023 11:39 6m 16s
November 4, 2023 11:39 6m 16s
PR release PR release #946: completed by nomeata
November 4, 2023 11:17 7m 19s
November 4, 2023 11:17 7m 19s