Skip to content

Actions: leanprover/lean4

Actions

Nix CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix-ci.yml
16,687 workflow runs
16,687 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: split Int.DivModLemmas into Bootstrap and Lemmas (#7162) Nix CI #25670: Commit 2eb4787 pushed by github-merge-queue bot
February 20, 2025 12:36 13m 11s master
master
February 20, 2025 12:36 13m 11s
feat: more tree map lemmas about empty, isEmpty, contains, size, insert, erase Nix CI #25669: Pull request #7161 synchronize by datokrat
February 20, 2025 12:22 7m 52s paul/treemap-lemmas-2
paul/treemap-lemmas-2
February 20, 2025 12:22 7m 52s
feat: upgrade Int.tdiv_eq_ediv to an unconditional equivalence Nix CI #25668: Pull request #7163 opened by kim-em
February 20, 2025 12:05 13m 1s upgrade_tdiv_eq_ediv
upgrade_tdiv_eq_ediv
February 20, 2025 12:05 13m 1s
Nix CI Nix CI #25667: Merge group checks requested
February 20, 2025 12:05 12m 44s
February 20, 2025 12:05 12m 44s
chore: split Int.DivModLemmas into Bootstrap and Lemmas Nix CI #25666: Pull request #7162 synchronize by kim-em
February 20, 2025 11:46 13m 52s divmod_bootstrap
divmod_bootstrap
February 20, 2025 11:46 13m 52s
chore: split Int.DivModLemmas into Bootstrap and Lemmas Nix CI #25665: Pull request #7162 synchronize by kim-em
February 20, 2025 11:42 4m 14s divmod_bootstrap
divmod_bootstrap
February 20, 2025 11:42 4m 14s
feat: more robust server parallelism (#7087) Nix CI #25664: Commit b49ec19 pushed by github-merge-queue bot
February 20, 2025 11:27 7m 31s master
master
February 20, 2025 11:27 7m 31s
Nix CI Nix CI #25663: Merge group checks requested
February 20, 2025 11:26 13m 21s
February 20, 2025 11:26 13m 21s
feat: more tree map lemmas about empty, isEmpty, contains, size, insert, erase Nix CI #25662: Pull request #7161 synchronize by datokrat
February 20, 2025 11:10 2m 35s paul/treemap-lemmas-2
paul/treemap-lemmas-2
February 20, 2025 11:10 2m 35s
chore: split Int.DivModLemmas into Bootstrap and Lemmas Nix CI #25661: Pull request #7162 opened by kim-em
February 20, 2025 11:02 12m 44s divmod_bootstrap
divmod_bootstrap
February 20, 2025 11:02 12m 44s
feat: more tree map lemmas about empty, isEmpty, contains, size, insert, erase Nix CI #25660: Pull request #7161 opened by datokrat
February 20, 2025 11:01 8m 14s paul/treemap-lemmas-2
paul/treemap-lemmas-2
February 20, 2025 11:01 8m 14s
Nix CI Nix CI #25659: Merge group checks requested
February 20, 2025 10:54 7m 45s
February 20, 2025 10:54 7m 45s
feat: more robust server parallelism Nix CI #25658: Pull request #7087 synchronize by mhuisi
February 20, 2025 10:34 7m 31s mhuisi:mhuisi/robust-language-server-parallelism
mhuisi:mhuisi/robust-language-server-parallelism
February 20, 2025 10:34 7m 31s
feat: modify and alter functions for the tree map (#7118) Nix CI #25657: Commit adcba85 pushed by github-merge-queue bot
February 20, 2025 10:18 9m 30s master
master
February 20, 2025 10:18 9m 30s
Nix CI Nix CI #25656: Merge group checks requested
February 20, 2025 10:05 9m 38s
February 20, 2025 10:05 9m 38s
feat: fast path for inlay hints (#7149) Nix CI #25655: Commit cc94cff pushed by github-merge-queue bot
February 20, 2025 09:55 8m 32s master
master
February 20, 2025 09:55 8m 32s
Nix CI Nix CI #25654: Merge group checks requested
February 20, 2025 09:50 8m 57s
February 20, 2025 09:50 8m 57s
feat: more robust server parallelism Nix CI #25653: Pull request #7087 synchronize by mhuisi
February 20, 2025 09:35 16m 12s mhuisi:mhuisi/robust-language-server-parallelism
mhuisi:mhuisi/robust-language-server-parallelism
February 20, 2025 09:35 16m 12s
feat: modify and alter functions for the tree map Nix CI #25652: Pull request #7118 synchronize by datokrat
February 20, 2025 09:31 7m 38s paul/treemap-alter
paul/treemap-alter
February 20, 2025 09:31 7m 38s
Nix CI Nix CI #25651: Merge group checks requested
February 20, 2025 09:26 9m 14s
February 20, 2025 09:26 9m 14s
feat: modify and alter functions for the tree map Nix CI #25650: Pull request #7118 synchronize by datokrat
February 20, 2025 08:33 9m 54s paul/treemap-alter
paul/treemap-alter
February 20, 2025 08:33 9m 54s
feat: modify and alter functions for the tree map Nix CI #25649: Pull request #7118 synchronize by datokrat
February 20, 2025 08:20 8m 40s paul/treemap-alter
paul/treemap-alter
February 20, 2025 08:20 8m 40s
feat: modify and alter functions for the tree map Nix CI #25648: Pull request #7118 synchronize by datokrat
February 20, 2025 08:00 18m 41s paul/treemap-alter
paul/treemap-alter
February 20, 2025 08:00 18m 41s
feat: modify and alter functions for the tree map Nix CI #25647: Pull request #7118 synchronize by datokrat
February 20, 2025 07:56 4m 43s paul/treemap-alter
paul/treemap-alter
February 20, 2025 07:56 4m 43s
feat: strengthen Int.tdiv_eq_ediv (#7158) Nix CI #25646: Commit 2960b38 pushed by github-merge-queue bot
February 20, 2025 06:32 13m 4s master
master
February 20, 2025 06:32 13m 4s