Skip to content

Actions: leanprover/lean4

Actions

Nix CI

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix: clean up lib_uv requests Nix CI #25619: Pull request #7151 opened by eric-wieser
February 19, 2025 17:06 5m 30s eric-wieser:patch-39
eric-wieser:patch-39
February 19, 2025 17:06 5m 30s
Nix CI Nix CI #25618: Merge group checks requested
February 19, 2025 15:17 20m 40s
February 19, 2025 15:17 20m 40s
feat: FunInd to split on bif as well Nix CI #25617: Pull request #7140 synchronize by nomeata
February 19, 2025 14:56 17m 29s joachim/funind-cond
joachim/funind-cond
February 19, 2025 14:56 17m 29s
feat: fast path for inlay hints Nix CI #25616: Pull request #7149 opened by mhuisi
February 19, 2025 13:58 9m 39s mhuisi:mhuisi/inlay-hint-fast-path
mhuisi:mhuisi/inlay-hint-fast-path
February 19, 2025 13:58 9m 39s
chore: linting variable names in List/Array (#7146) Nix CI #25615: Commit 8a2e21c pushed by github-merge-queue bot
February 19, 2025 13:18 16m 43s master
master
February 19, 2025 13:18 16m 43s
perf: optimize InfoTree.hasSorry Nix CI #25614: Pull request #7129 synchronize by Kha
February 19, 2025 12:48 15m 12s Kha:push-oolqypovtqoo
Kha:push-oolqypovtqoo
February 19, 2025 12:48 15m 12s
Nix CI Nix CI #25613: Merge group checks requested
February 19, 2025 12:45 16m 32s
February 19, 2025 12:45 16m 32s
chore: update stage0 Nix CI #25612: Commit 3deda3c pushed by Kha
February 19, 2025 12:38 17m 31s master
master
February 19, 2025 12:38 17m 31s
fix: be consistent in not reporting newlines between trace nodes to info view Nix CI #25611: Pull request #7143 synchronize by Kha
February 19, 2025 12:34 15m 37s Kha:push-utnwpxvwqnpq
Kha:push-utnwpxvwqnpq
February 19, 2025 12:34 15m 37s
feat: modify and alter functions for the tree map Nix CI #25610: Pull request #7118 synchronize by datokrat
February 19, 2025 12:28 8m 55s paul/treemap-alter
paul/treemap-alter
February 19, 2025 12:28 8m 55s
chore: linting variable names in List/Array Nix CI #25609: Pull request #7146 synchronize by kim-em
February 19, 2025 12:24 14m 17s list_linting3
list_linting3
February 19, 2025 12:24 14m 17s
chore: linting variable names in List/Array Nix CI #25608: Pull request #7146 opened by kim-em
February 19, 2025 12:02 13m 59s list_linting3
list_linting3
February 19, 2025 12:02 13m 59s
test: add f91 definition using partial_fixpoint (#7144) Nix CI #25607: Commit e288e9c pushed by github-merge-queue bot
February 19, 2025 11:42 6m 44s master
master
February 19, 2025 11:42 6m 44s
Nix CI Nix CI #25606: Merge group checks requested
February 19, 2025 11:14 7m 29s
February 19, 2025 11:14 7m 29s
feat: modify and alter functions for the tree map Nix CI #25605: Pull request #7118 synchronize by datokrat
February 19, 2025 11:09 9m 48s paul/treemap-alter
paul/treemap-alter
February 19, 2025 11:09 9m 48s
test: add f91 definition using partial_fixpoint Nix CI #25604: Pull request #7144 opened by nomeata
February 19, 2025 10:53 20m 35s joachim/test-f91
joachim/test-f91
February 19, 2025 10:53 20m 35s
fix: be consistent in not reporting newlines between trace nodes to info view Nix CI #25603: Pull request #7143 opened by Kha
February 19, 2025 10:38 10m 30s Kha:push-utnwpxvwqnpq
Kha:push-utnwpxvwqnpq
February 19, 2025 10:38 10m 30s
Nix CI Nix CI #25602: Merge group checks requested
February 19, 2025 10:30 13m 15s
February 19, 2025 10:30 13m 15s
feat: faster auto-completion (#7134) Nix CI #25601: Commit 26dba92 pushed by github-merge-queue bot
February 19, 2025 10:29 10m 54s master
master
February 19, 2025 10:29 10m 54s
Nix CI Nix CI #25600: Merge group checks requested
February 19, 2025 10:05 7m 52s
February 19, 2025 10:05 7m 52s
feat: allow cond to be used in proofs Nix CI #25599: Pull request #7141 synchronize by nomeata
February 19, 2025 09:35 14m 14s joachim/cond-sort
joachim/cond-sort
February 19, 2025 09:35 14m 14s
feat: allow cond to be used in proofs Nix CI #25598: Pull request #7141 synchronize by nomeata
February 19, 2025 09:34 1m 1s joachim/cond-sort
joachim/cond-sort
February 19, 2025 09:34 1m 1s
feat: FunInd to split on bif as well Nix CI #25597: Pull request #7140 opened by nomeata
February 19, 2025 09:12 15m 11s joachim/funind-cond
joachim/funind-cond
February 19, 2025 09:12 15m 11s
feat: add BitVec.(getElem, getLsbD, getMsbD, msb)_smod theorems Nix CI #25596: Pull request #6986 synchronize by luisacicolini
February 19, 2025 09:04 15m 18s opencompl:smod-bitblast
opencompl:smod-bitblast
February 19, 2025 09:04 15m 18s
feat: add BitVec.(getElem, getLsbD, getMsbD, msb)_smod theorems Nix CI #25595: Pull request #6986 synchronize by luisacicolini
February 19, 2025 09:04 47s opencompl:smod-bitblast
opencompl:smod-bitblast
February 19, 2025 09:04 47s