Skip to content

Actions: Kha/lean4

Actions

Nix CI

Actions

Loading...

Show workflow options

Create status badge

nix-ci.yml
13 workflow runs
13 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
fix: disappearing messages from incremental reporting Nix CI #515: Commit c266171 pushed by Kha
May 11, 2024 16:30 30m 49s incr-tactic-v2
incr-tactic-v2
May 11, 2024 16:30 30m 49s
Incr tactic rc1 Nix CI #514: Pull request #7 opened by Kha
May 7, 2024 13:28 31m 28s incr-tactic-rc1
incr-tactic-rc1
May 7, 2024 13:28 31m 28s
Nix CI Nix CI #513: by Kha
March 21, 2024 13:48 22m 5s v4.5.0-rc1-unused
v4.5.0-rc1-unused
March 21, 2024 13:48 22m 5s
backport unused variables linter changes Nix CI #512: Commit dbf57b4 pushed by Kha
March 21, 2024 13:14 22m 36s v4.5.0-rc1-unused
v4.5.0-rc1-unused
March 21, 2024 13:14 22m 36s
chore: Remove unused variables from kernel Nix CI #511: Commit 06e0577 pushed by Kha
September 29, 2023 07:29 18m 15s master
master
September 29, 2023 07:29 18m 15s
yet another attempt at using nix Nix CI #510: Commit 47d5eae pushed by Kha
September 27, 2023 14:43 47m 34s master
master
September 27, 2023 14:43 47m 34s
Nix CI Nix CI #509: by Kha
September 22, 2023 14:41 38m 33s lake-incr-env-tag
lake-incr-env-tag
September 22, 2023 14:41 38m 33s
perf: do not detect lean's toolchain Nix CI #508: Commit 1354fd9 pushed by Kha
September 22, 2023 14:40 14m 14s master
master
September 22, 2023 14:40 14m 14s
perf: lake: build lakefile environment incrementally Nix CI #507: Commit f4b6eb5 pushed by Kha
September 22, 2023 14:32 9m 38s lake-incr-env-tag
lake-incr-env-tag
September 22, 2023 14:32 9m 38s
perf: lake: build lakefile environment incrmentally Nix CI #506: Commit 4041da1 pushed by Kha
September 22, 2023 14:03 32m 18s lake-incr-env
lake-incr-env
September 22, 2023 14:03 32m 18s
refactor: remove TokenparserConfig.whitespaceFn again Nix CI #505: Commit 579bd17 pushed by Kha
June 28, 2023 16:26 43m 44s vcustom-tokens
vcustom-tokens
June 28, 2023 16:26 43m 44s
Nix CI Nix CI #504: by Kha
April 15, 2023 16:51 19m 26s clear-defeq-cache-release
clear-defeq-cache-release
April 15, 2023 16:51 19m 26s
Nix CI Nix CI #503: by Kha
April 14, 2023 20:33 27m 31s clear-defeq-cache-release
clear-defeq-cache-release
April 14, 2023 20:33 27m 31s