infra/ci.sh

#!/usr/bin/env bash
# Run this command to reproduce CI
set -euo pipefail
cd "$(dirname "$0")"
nix-build --no-out-link ci.nix
ci: speed up on no-op 2021-01-18 18:27:37 +01:00			`#!/usr/bin/env bash`
			`# Run this command to reproduce CI`
			`set -euo pipefail`
			`cd "$(dirname "$0")"`
switch to hercules-ci 2021-11-12 10:08:20 +01:00			`nix-build --no-out-link ci.nix`
No results found.