Skip to content

Actions: leanprover/lean4

Actions

Nix CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix-ci.yml
9,625 workflow runs
9,625 workflow runs

Filter by Event

Loading

Filter by Status

Loading

Filter by Branch

Loading

Filter by Actor

Loading
feat: bitVec shiftLeft recurrences for bitblasting Nix CI #16295: Pull request #4571 synchronize by tobiasgrosser
July 26, 2024 14:11 14s opencompl:upstream-shiftLeft-recurrence
opencompl:upstream-shiftLeft-recurrence
July 26, 2024 14:11 14s
chore: correct List.Subset lemma names (#4843) Nix CI #16294: Commit 18ba5f2 pushed by github-merge-queue bot
July 26, 2024 11:58 14m 41s master
master
July 26, 2024 11:58 14m 41s
chore: fix List deprecations (#4842) Nix CI #16293: Commit cbe39dc pushed by github-merge-queue bot
July 26, 2024 11:51 6m 49s master
master
July 26, 2024 11:51 6m 49s
Nix CI Nix CI #16292: Merge group checks requested
July 26, 2024 11:36 19m 42s
July 26, 2024 11:36 19m 42s
Nix CI Nix CI #16291: Merge group checks requested
July 26, 2024 11:32 14m 1s
July 26, 2024 11:32 14m 1s
chore: correct List.Subset lemma names Nix CI #16290: Pull request #4843 opened by semorrison
July 26, 2024 11:22 14m 13s subset_names
subset_names
July 26, 2024 11:22 14m 13s
chore: fix List deprecations Nix CI #16289: Pull request #4842 opened by semorrison
July 26, 2024 11:18 14m 11s fix_list_deprecations
fix_list_deprecations
July 26, 2024 11:18 14m 11s
fix: IndPred: track function's motive in a let binding, use withoutProofIrrelevance, no chaining Nix CI #16288: Pull request #4839 synchronize by nomeata
July 26, 2024 10:28 14m 32s joachim/fix4751-take-two
joachim/fix4751-take-two
July 26, 2024 10:28 14m 32s
fix: improve proof search in IndPredBelow Nix CI #16287: Pull request #4840 synchronize by nomeata
July 26, 2024 10:26 4m 11s joachim/fix1672
joachim/fix1672
July 26, 2024 10:26 4m 11s
refactor: IndPredBelow: use apply_assumption Nix CI #16286: Pull request #4841 opened by nomeata
July 26, 2024 10:08 10m 20s joachim/IndPred-use-applyRules
joachim/IndPred-use-applyRules
July 26, 2024 10:08 10m 20s
fix: IndPred: track function's motive in a let binding, use withoutProofIrrelevance, no chaining Nix CI #16285: Pull request #4839 synchronize by nomeata
July 26, 2024 10:01 8m 57s joachim/fix4751-take-two
joachim/fix4751-take-two
July 26, 2024 10:01 8m 57s
fix: improve proof search in IndPredBelow Nix CI #16284: Pull request #4840 synchronize by nomeata
July 26, 2024 09:35 4m 23s joachim/fix1672
joachim/fix1672
July 26, 2024 09:35 4m 23s
fix: improve proof search in IndPredBelow Nix CI #16283: Pull request #4840 opened by nomeata
July 26, 2024 09:33 1m 55s joachim/fix1672
joachim/fix1672
July 26, 2024 09:33 1m 55s
fix: IndPred: track function's motive in a let binding, use withoutProofIrrelevance, no chaining Nix CI #16282: Pull request #4839 synchronize by nomeata
July 26, 2024 09:31 9m 18s joachim/fix4751-take-two
joachim/fix4751-take-two
July 26, 2024 09:31 9m 18s
feat: accept user-defined options on the cmdline Nix CI #16281: Pull request #4741 synchronize by Kha
July 26, 2024 08:53 22m 26s Kha:lean-check-opts
Kha:lean-check-opts
July 26, 2024 08:53 22m 26s
feat: new variable command Nix CI #16280: Pull request #4814 synchronize by Kha
July 26, 2024 08:21 22m 46s Kha:new-variable
Kha:new-variable
July 26, 2024 08:21 22m 46s
fix: make import resolution case-sensitive on all platforms Nix CI #16279: Pull request #4538 synchronize by Kha
July 26, 2024 07:40 16m 16s Kha:import-case
Kha:import-case
July 26, 2024 07:40 16m 16s
fix: IndPred: track function's motive in a let binding, use withoutProofIrrelevance, no chaining Nix CI #16278: Pull request #4839 synchronize by nomeata
July 26, 2024 07:24 21m 14s joachim/fix4751-take-two
joachim/fix4751-take-two
July 26, 2024 07:24 21m 14s
chore: upon nightly release, trigger nightly_bump_toolchain on mathli… Nix CI #16277: Commit a5b8d5b pushed by github-merge-queue bot
July 26, 2024 07:16 7m 29s master
master
July 26, 2024 07:16 7m 29s
fix: IndPred: track function's motive in a let binding, use withoutProofIrrelevance, no chaining Nix CI #16276: Pull request #4839 opened by nomeata
July 26, 2024 07:14 10m 20s joachim/fix4751-take-two
joachim/fix4751-take-two
July 26, 2024 07:14 10m 20s
Nix CI Nix CI #16275: Merge group checks requested
July 26, 2024 06:51 9m 3s
July 26, 2024 06:51 9m 3s
chore: upon nightly release, trigger nightly_bump_toolchain on mathlib4 Nix CI #16274: Pull request #4838 opened by nomeata
July 26, 2024 06:30 20m 59s joachim/trigger-nightly-bump
joachim/trigger-nightly-bump
July 26, 2024 06:30 20m 59s
feat: List.IsPrefix/IsSuffix is decidable (#4837) Nix CI #16273: Commit 895391b pushed by github-merge-queue bot
July 26, 2024 05:37 14m 1s master
master
July 26, 2024 05:37 14m 1s
feat: gaps/cleanup in List lemmas (#4835) Nix CI #16272: Commit e280de0 pushed by github-merge-queue bot
July 26, 2024 05:20 14m 23s master
master
July 26, 2024 05:20 14m 23s
Nix CI Nix CI #16271: Merge group checks requested
July 26, 2024 05:17 14m 39s
July 26, 2024 05:17 14m 39s