Skip to content

Actions: leanprover/lean4

Actions

Nix CI

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: modify and alter functions for the tree map Nix CI #25593: Pull request #7118 synchronize by datokrat
February 19, 2025 07:51 In progress paul/treemap-alter
paul/treemap-alter
February 19, 2025 07:51 In progress
feat: create a let-expression for storing the context in cutsat p… Nix CI #25592: Commit 1cbd2bd pushed by github-merge-queue bot
February 19, 2025 04:12 8m 38s master
master
February 19, 2025 04:12 8m 38s
Nix CI Nix CI #25591: Merge group checks requested
February 19, 2025 03:36 7m 20s
February 19, 2025 03:36 7m 20s
feat: create a let-expression for storing the context in cutsat proofs Nix CI #25590: Pull request #7139 opened by leodemoura
February 19, 2025 03:08 13m 9s grind_cutsat_step4
grind_cutsat_step4
February 19, 2025 03:08 13m 9s
feat: smarter plugin loading (#7090) Nix CI #25589: Commit a41fb49 pushed by github-merge-queue bot
February 18, 2025 23:41 14m 34s master
master
February 18, 2025 23:41 14m 34s
feat: proof production for divisibility constraint solver in grind … Nix CI #25588: Commit dfce31e pushed by github-merge-queue bot
February 18, 2025 23:12 7m 50s master
master
February 18, 2025 23:12 7m 50s
Nix CI Nix CI #25587: Merge group checks requested
February 18, 2025 23:04 15m 48s
February 18, 2025 23:04 15m 48s
fix: avoid nonexistent noConfusions in injection, contradiction Nix CI #25586: Pull request #6731 synchronize by jrr6
February 18, 2025 22:42 9m 39s jrr6:contradiction-disjunction
jrr6:contradiction-disjunction
February 18, 2025 22:42 9m 39s
Nix CI Nix CI #25585: Merge group checks requested
February 18, 2025 22:38 8m 4s
February 18, 2025 22:38 8m 4s
feat: proof production for divisibility constraint solver in grind Nix CI #25584: Pull request #7138 opened by leodemoura
February 18, 2025 22:12 14m 53s grind_cutsat_step3
grind_cutsat_step3
February 18, 2025 22:12 14m 53s
chore: deprecate Array.get Nix CI #25583: Commit 1d9b191 pushed by kim-em
February 18, 2025 21:48 13m 58s master
master
February 18, 2025 21:48 13m 58s
chore: deprecate Array.get Nix CI #25582: Pull request #7132 synchronize by kim-em
February 18, 2025 21:48 4m 15s array_get_internal
array_get_internal
February 18, 2025 21:48 4m 15s
feat: verify fold/for variants for Hashmaps Nix CI #25581: Pull request #7137 opened by jt0202
February 18, 2025 18:53 9m 24s jt0202:foldFor
jt0202:foldFor
February 18, 2025 18:53 9m 24s
feat: smarter plugin loading Nix CI #25580: Pull request #7090 synchronize by tydeu
February 18, 2025 17:48 17m 37s tydeu:dynlib-refactor
tydeu:dynlib-refactor
February 18, 2025 17:48 17m 37s
feat: try? to use fun_induction (#7082) Nix CI #25579: Commit 2fed934 pushed by github-merge-queue bot
February 18, 2025 16:43 6m 23s master
master
February 18, 2025 16:43 6m 23s
Nix CI Nix CI #25578: Merge group checks requested
February 18, 2025 16:07 6m 38s
February 18, 2025 16:07 6m 38s
feat: more robust server parallelism Nix CI #25577: Pull request #7087 synchronize by mhuisi
February 18, 2025 15:19 15m 49s mhuisi:mhuisi/robust-language-server-parallelism
mhuisi:mhuisi/robust-language-server-parallelism
February 18, 2025 15:19 15m 49s
feat: add BitVec.umulOverflow and BitVec.smulOverflow definitions and additional theorems Nix CI #25576: Pull request #6949 synchronize by luisacicolini
February 18, 2025 14:50 12m 28s opencompl:overflow-mul-defs
opencompl:overflow-mul-defs
February 18, 2025 14:50 12m 28s
chore: review uses of generalize (#7126) Nix CI #25575: Commit 2d4c001 pushed by github-merge-queue bot
February 18, 2025 14:49 13m 7s master
master
February 18, 2025 14:49 13m 7s
feat: faster auto-completion Nix CI #25574: Pull request #7134 opened by mhuisi
February 18, 2025 14:33 14m 26s mhuisi:mhuisi/is-incomplete-true
mhuisi:mhuisi/is-incomplete-true
February 18, 2025 14:33 14m 26s
Nix CI Nix CI #25573: Merge group checks requested
February 18, 2025 14:07 20m 31s
February 18, 2025 14:07 20m 31s
feat: IntX.abs (#7131) Nix CI #25572: Commit 3a22035 pushed by github-merge-queue bot
February 18, 2025 13:50 15m 40s master
master
February 18, 2025 13:50 15m 40s
feat: verify toList for hash maps (#6954) Nix CI #25571: Commit 010c6c3 pushed by github-merge-queue bot
February 18, 2025 13:45 4m 48s master
master
February 18, 2025 13:45 4m 48s
feat: try? to use fun_induction Nix CI #25570: Pull request #7082 synchronize by nomeata
February 18, 2025 13:17 15m 27s joachim/funind-tactic-try
joachim/funind-tactic-try
February 18, 2025 13:17 15m 27s
Nix CI Nix CI #25569: Merge group checks requested
February 18, 2025 13:16 15m 52s
February 18, 2025 13:16 15m 52s