Skip to content

Actions: leanprover/lean4

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Ensure nested proofs in equation and unfold lemmas have been abstracted Nix CI #8247: Pull request #2825 opened by leodemoura
November 5, 2023 23:58 12m 13s eqn_thm_nested_proofs
eqn_thm_nested_proofs
November 5, 2023 23:58 12m 13s
Ensure nested proofs in equation and unfold lemmas have been abstracted CI #10646: Pull request #2825 opened by leodemoura
November 5, 2023 23:58 1h 5m 0s eqn_thm_nested_proofs
eqn_thm_nested_proofs
November 5, 2023 23:58 1h 5m 0s
Ensure nested proofs in equation and unfold lemmas have been abstracted sanity-check opened PRs #1233: Pull request #2825 opened by leodemoura
November 5, 2023 23:58 14s
November 5, 2023 23:58 14s
feat: add left/right actions to term tree coercion elaborator and make ^ a right action Label PR based on Comment #1064: Issue comment #2778 (comment) created by kim-em
November 5, 2023 23:48 2s
November 5, 2023 23:48 2s
chore: add Mathlib CI comments using the mathlib bot Nix CI #8246: Pull request #2824 opened by kim-em
November 5, 2023 23:27 2m 56s CI_fix7
CI_fix7
November 5, 2023 23:27 2m 56s
chore: add Mathlib CI comments using the mathlib bot CI #10645: Pull request #2824 opened by kim-em
November 5, 2023 23:27 57m 57s CI_fix7
CI_fix7
November 5, 2023 23:27 57m 57s
chore: add Mathlib CI comments using the mathlib bot sanity-check opened PRs #1232: Pull request #2824 opened by kim-em
November 5, 2023 23:27 13s
November 5, 2023 23:27 13s
feat: find Decidable instances via unification Nix CI #8245: Pull request #2816 synchronize by kim-em
November 5, 2023 23:01 23m 27s decide_eq_true_eq
decide_eq_true_eq
November 5, 2023 23:01 23m 27s
feat: find Decidable instances via unification CI #10644: Pull request #2816 synchronize by kim-em
November 5, 2023 23:01 1h 3m 9s decide_eq_true_eq
decide_eq_true_eq
November 5, 2023 23:01 1h 3m 9s
feat: find Decidable instances via unification Backport #367: Pull request #2816 labeled by kim-em
November 5, 2023 23:01 3s
November 5, 2023 23:01 3s
perf: [kernel] switch defeq order in infer_app Label PR based on Comment #1063: Issue comment #2704 (comment) created by kim-em
November 5, 2023 22:46 2s
November 5, 2023 22:46 2s
PR release PR release #965: completed by kmill
November 5, 2023 22:38 6m 58s
November 5, 2023 22:38 6m 58s
PR release PR release #964: completed by nomeata
November 5, 2023 22:33 12s
November 5, 2023 22:33 12s
feat: string gaps for continuing string literals across multiple lines CI #10643: Pull request #2821 synchronize by kmill
November 5, 2023 21:40 57m 57s kmill:string_gaps
kmill:string_gaps
November 5, 2023 21:40 57m 57s
feat: string gaps for continuing string literals across multiple lines Nix CI #8244: Pull request #2821 synchronize by kmill
November 5, 2023 21:40 13m 13s kmill:string_gaps
kmill:string_gaps
November 5, 2023 21:40 13m 13s
PR release PR release #963: completed by nomeata
November 5, 2023 21:37 1s
November 5, 2023 21:37 1s
fix: Float RecApp out of applications Backport #366: Pull request #2818 labeled by leanprover-community-mathlib4-bot
November 5, 2023 21:34 1s
November 5, 2023 21:34 1s
pages build and deployment pages-build-deployment #1407: by github-pages bot
November 5, 2023 21:33 35s gh-pages
gh-pages
November 5, 2023 21:33 35s
feat: Better error location in structural recursion add PR to changelog #573: Pull request #2819 closed by nomeata
November 5, 2023 21:24 2s
November 5, 2023 21:24 2s
feat: Better error location in structural recursion Backport #365: Pull request #2819 closed by nomeata
November 5, 2023 21:24 13s
November 5, 2023 21:24 13s
feat: Better error location in structural recursion (#2819) CI #10642: Commit ea20911 pushed by nomeata
November 5, 2023 21:24 1h 8m 57s master
master
November 5, 2023 21:24 1h 8m 57s
feat: Better error location in structural recursion (#2819) Nix CI #8243: Commit ea20911 pushed by nomeata
November 5, 2023 21:24 9m 20s master
master
November 5, 2023 21:24 9m 20s
PR release PR release #962: completed by nomeata
November 5, 2023 21:21 7m 9s
November 5, 2023 21:21 7m 9s
draft: refinement to #2818 sanity-check opened PRs #1231: Pull request #2823 opened by nomeata
November 5, 2023 21:19 10s
November 5, 2023 21:19 10s
draft: refinement to #2818 Nix CI #8242: Pull request #2823 opened by nomeata
November 5, 2023 21:19 1m 45s joachim/float-recapp-common
joachim/float-recapp-common
November 5, 2023 21:19 1m 45s