Skip to content

Actions: leanprover/lean4

Actions

Nix CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix-ci.yml
13,279 workflow runs
13,279 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: accurate binder names in signatures (like in output of #check) Nix CI #20189: Pull request #5827 synchronize by kmill
October 28, 2024 04:20 14m 51s kmill:fix_5810
kmill:fix_5810
October 28, 2024 04:20 14m 51s
feat: record all structure parents in StructureInfo (#5853) Nix CI #20188: Commit 9847923 pushed by github-merge-queue bot
October 28, 2024 01:47 17m 12s master
master
October 28, 2024 01:47 17m 12s
Nix CI Nix CI #20187: Merge group checks requested
October 28, 2024 01:24 17m 16s
October 28, 2024 01:24 17m 16s
feat: accurate binder names in signatures (like in output of #check) Nix CI #20186: Pull request #5827 synchronize by kmill
October 28, 2024 01:05 24m 7s kmill:fix_5810
kmill:fix_5810
October 28, 2024 01:05 24m 7s
feat: record all structure parents in StructureInfo Nix CI #20185: Pull request #5853 synchronize by kmill
October 27, 2024 23:36 22m 32s kmill:record_parents
kmill:record_parents
October 27, 2024 23:36 22m 32s
feat: make it possible to use dot notation in m! strings (#5857) Nix CI #20184: Commit 709ea6c pushed by github-merge-queue bot
October 27, 2024 23:19 18m 54s master
master
October 27, 2024 23:19 18m 54s
Nix CI Nix CI #20183: Merge group checks requested
October 27, 2024 22:55 19m 9s
October 27, 2024 22:55 19m 9s
feat: make it possible to use dot notation in m! strings Nix CI #20182: Pull request #5857 synchronize by kmill
October 27, 2024 16:09 13m 44s kmill:tomessagedata_default
kmill:tomessagedata_default
October 27, 2024 16:09 13m 44s
feat: add BitVec.(msb, getMsbD, getLsbD)_(neg, abs) Nix CI #20181: Pull request #5721 synchronize by luisacicolini
October 27, 2024 15:48 22m 17s opencompl:abs-neg-arith
opencompl:abs-neg-arith
October 27, 2024 15:48 22m 17s
feat: add BitVec.[zero_ushiftRight|zero_sshiftRight|zero_mul] and cle… Nix CI #20180: Pull request #5858 opened by tobiasgrosser
October 27, 2024 15:31 22m 10s opencompl:bv_zero_one_simps
opencompl:bv_zero_one_simps
October 27, 2024 15:31 22m 10s
feat: add BitVec.(msb, getMsbD, getLsbD)_(neg, abs) Nix CI #20179: Pull request #5721 synchronize by tobiasgrosser
October 27, 2024 13:48 22m 25s opencompl:abs-neg-arith
opencompl:abs-neg-arith
October 27, 2024 13:48 22m 25s
feat: add BitVec.(msb, getMsbD, getLsbD)_(neg, abs) Nix CI #20178: Pull request #5721 synchronize by tobiasgrosser
October 27, 2024 13:30 4m 8s opencompl:abs-neg-arith
opencompl:abs-neg-arith
October 27, 2024 13:30 4m 8s
feat: add BitVec.(msb, getMsbD, getLsbD)_(neg, abs) Nix CI #20177: Pull request #5721 synchronize by tobiasgrosser
October 27, 2024 13:29 43s opencompl:abs-neg-arith
opencompl:abs-neg-arith
October 27, 2024 13:29 43s
feat: add BitVec.(msb, getMsbD, getLsbD)_(neg, abs) Nix CI #20176: Pull request #5721 synchronize by tobiasgrosser
October 27, 2024 13:29 27s opencompl:abs-neg-arith
opencompl:abs-neg-arith
October 27, 2024 13:29 27s
feat: if support and more in bv_decide (#5855) Nix CI #20175: Commit 8c7f748 pushed by github-merge-queue bot
October 27, 2024 09:05 21m 36s master
master
October 27, 2024 09:05 21m 36s
Nix CI Nix CI #20174: Merge group checks requested
October 27, 2024 08:40 22m 30s
October 27, 2024 08:40 22m 30s
feat: make it possible to use dot notation in m! strings Nix CI #20173: Pull request #5857 synchronize by kmill
October 27, 2024 02:24 24m 23s kmill:tomessagedata_default
kmill:tomessagedata_default
October 27, 2024 02:24 24m 23s
feat: make it possible to use dot notation in m! strings Nix CI #20172: Pull request #5857 opened by kmill
October 27, 2024 01:41 11m 3s kmill:tomessagedata_default
kmill:tomessagedata_default
October 27, 2024 01:41 11m 3s
fix: prevent addPPExplicitToExposeDiff from assigning metavariables Nix CI #20171: Pull request #5276 synchronize by kmill
October 27, 2024 01:27 16m 45s kmill:fix_addppexplicittoexposediff
kmill:fix_addppexplicittoexposediff
October 27, 2024 01:27 16m 45s
fix: prevent addPPExplicitToExposeDiff from assigning metavariables Nix CI #20170: Pull request #5276 synchronize by kmill
October 27, 2024 01:15 12m 4s kmill:fix_addppexplicittoexposediff
kmill:fix_addppexplicittoexposediff
October 27, 2024 01:15 12m 4s
feat: add delaborators for <|>, <*>, >>, <*, and *> (#5854) Nix CI #20169: Commit c50f04a pushed by github-merge-queue bot
October 27, 2024 00:18 23m 31s master
master
October 27, 2024 00:18 23m 31s
fix: prevent addPPExplicitToExposeDiff from assigning metavariables Nix CI #20168: Pull request #5276 synchronize by kmill
October 27, 2024 00:00 15m 19s kmill:fix_addppexplicittoexposediff
kmill:fix_addppexplicittoexposediff
October 27, 2024 00:00 15m 19s
fix: prevent addPPExplicitToExposeDiff from assigning metavariables Nix CI #20167: Pull request #5276 synchronize by kmill
October 26, 2024 23:59 1m 11s kmill:fix_addppexplicittoexposediff
kmill:fix_addppexplicittoexposediff
October 26, 2024 23:59 1m 11s
Nix CI Nix CI #20166: Merge group checks requested
October 26, 2024 23:49 24m 27s
October 26, 2024 23:49 24m 27s
feat: prop instance yields theorems Nix CI #20165: Pull request #5856 opened by kmill
October 26, 2024 23:13 24m 26s kmill:fix_672
kmill:fix_672
October 26, 2024 23:13 24m 26s