Skip to content

Actions: leanprover/lean4

Actions

Nix CI

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Nix CI Nix CI #20146: Merge group checks requested
October 26, 2024 10:34 23m 9s
October 26, 2024 10:34 23m 9s
Nix CI Nix CI #20145: Merge group checks requested
October 26, 2024 10:26 11m 17s
October 26, 2024 10:26 11m 17s
Nix CI Nix CI #20144: Merge group checks requested
October 26, 2024 10:22 23m 23s
October 26, 2024 10:22 23m 23s
Nix CI Nix CI #20143: Merge group checks requested
October 26, 2024 10:07 19m 6s
October 26, 2024 10:07 19m 6s
refactor: Predefinition.Structural code cleanup Nix CI #20142: Pull request #5850 synchronize by nomeata
October 26, 2024 10:04 12m 43s joachim/issue5836-bits
joachim/issue5836-bits
October 26, 2024 10:04 12m 43s
refactor: Predefinition.Structural code cleanup Nix CI #20141: Pull request #5850 synchronize by nomeata
October 26, 2024 09:51 8m 33s joachim/issue5836-bits
joachim/issue5836-bits
October 26, 2024 09:51 8m 33s
fix: deprecations in Init.Data.Array.Basic Nix CI #20140: Pull request #5848 opened by nomeata
October 26, 2024 09:43 23m 37s joachim/array-deprecations
joachim/array-deprecations
October 26, 2024 09:43 23m 37s
fix: reduce types when constructing default values in structure insta… Nix CI #20139: Commit 1303665 pushed by github-merge-queue bot
October 26, 2024 01:07 11m 50s master
master
October 26, 2024 01:07 11m 50s
Nix CI Nix CI #20138: Merge group checks requested
October 26, 2024 00:45 12m 0s
October 26, 2024 00:45 12m 0s
Nix CI Nix CI #20137: Merge group checks requested
October 26, 2024 00:45 23s
October 26, 2024 00:45 23s
feat: stronger proof strategy for partial inhabitation Nix CI #20136: Pull request #5847 synchronize by kmill
October 26, 2024 00:42 24m 30s kmill:inhabitation
kmill:inhabitation
October 26, 2024 00:42 24m 30s
feat: stronger proof strategy for partial inhabitation Nix CI #20135: Pull request #5847 opened by kmill
October 26, 2024 00:36 5m 56s kmill:inhabitation
kmill:inhabitation
October 26, 2024 00:36 5m 56s
chore: remove unnecessary private Inhabited instance (#5846) Nix CI #20134: Commit 4068cf0 pushed by github-merge-queue bot
October 25, 2024 23:53 17m 41s master
master
October 25, 2024 23:53 17m 41s
Nix CI Nix CI #20133: Merge group checks requested
October 25, 2024 23:31 11m 43s
October 25, 2024 23:31 11m 43s
chore: remove unnecessary private Inhabited instance Nix CI #20132: Pull request #5846 opened by kmill
October 25, 2024 23:13 11m 56s kmill:removeInhabitedInstance
kmill:removeInhabitedInstance
October 25, 2024 23:13 11m 56s
Nix CI Nix CI #20131: Merge group checks requested
October 25, 2024 22:50 9m 29s
October 25, 2024 22:50 9m 29s
fix: declaration ranges changed after stage0 update (#5845) Nix CI #20130: Commit abe6d5b pushed by github-merge-queue bot
October 25, 2024 22:05 16m 40s master
master
October 25, 2024 22:05 16m 40s
Nix CI Nix CI #20129: Merge group checks requested
October 25, 2024 21:38 26m 32s
October 25, 2024 21:38 26m 32s
fix: declaration ranges changed after stage0 update Nix CI #20128: Pull request #5845 opened by kmill
October 25, 2024 21:19 18m 11s kmill:fix_test
kmill:fix_test
October 25, 2024 21:19 18m 11s
fix: reduce types when constructing default values in structure instance notation Nix CI #20127: Pull request #5844 opened by kmill
October 25, 2024 21:02 23m 27s kmill:fix_2186
kmill:fix_2186
October 25, 2024 21:02 23m 27s
chore: update stage0 Nix CI #20126: Commit f292184 pushed by Kha
October 25, 2024 20:35 14m 29s master
master
October 25, 2024 20:35 14m 29s
chore: refactor structure command, fixes (#5842) Nix CI #20125: Commit a310488 pushed by github-merge-queue bot
October 25, 2024 20:10 9m 44s master
master
October 25, 2024 20:10 9m 44s
test: test case for #5836 (#5843) Nix CI #20124: Commit 57a95c8 pushed by github-merge-queue bot
October 25, 2024 20:00 8m 12s master
master
October 25, 2024 20:00 8m 12s
Nix CI Nix CI #20123: Merge group checks requested
October 25, 2024 19:46 10m 23s
October 25, 2024 19:46 10m 23s
Nix CI Nix CI #20122: Merge group checks requested
October 25, 2024 19:34 9m 57s
October 25, 2024 19:34 9m 57s