Merge branch 'main' into ci
This commit is contained in:
commit
07ec890c0c
1 changed files with 0 additions and 1 deletions
1
.github/workflows/diff-pr.yaml
vendored
1
.github/workflows/diff-pr.yaml
vendored
|
@ -53,7 +53,6 @@ jobs:
|
||||||
extra_nix_config: |
|
extra_nix_config: |
|
||||||
experimental-features = nix-command flakes
|
experimental-features = nix-command flakes
|
||||||
|
|
||||||
|
|
||||||
- name: Garbage collect build dependencies
|
- name: Garbage collect build dependencies
|
||||||
run: nix-collect-garbage
|
run: nix-collect-garbage
|
||||||
|
|
||||||
|
|
Reference in a new issue