Merge pull request '…' (#8) from fix-update-script into main
Reviewed-on: #8
This commit is contained in:
commit
aacddd76b1
GPG key ID:
C9974EDF9932B558
1 changed files with 1 additions and 1 deletions
|
|
@ -57,7 +57,7 @@ pipeline:
|
||||||
trusted-users = @wheel
|
trusted-users = @wheel
|
||||||
experimental-features = nix-command flakes ca-derivations
|
experimental-features = nix-command flakes ca-derivations
|
||||||
EOF
|
EOF
|
||||||
- mkdir /tmp
|
- mkdir -p /tmp
|
||||||
- chmod 1777 /tmp
|
- chmod 1777 /tmp
|
||||||
- yes '' | nix-shell ./scripts/update.nix --argstr max-workers 1
|
- yes '' | nix-shell ./scripts/update.nix --argstr max-workers 1
|
||||||
when:
|
when:
|
||||||
|
|
|
||||||
Reference in a new issue