From 7b2a39a6fb62e0a1483b31e2d24dec71013558e7 Mon Sep 17 00:00:00 2001 From: Dario Nieuwenhuis Date: Fri, 26 May 2023 23:05:18 +0200 Subject: Switch to Bender for CI. --- ci.sh | 1 - 1 file changed, 1 deletion(-) (limited to 'ci.sh') diff --git a/ci.sh b/ci.sh index 6d906f5f9..11c569328 100755 --- a/ci.sh +++ b/ci.sh @@ -2,7 +2,6 @@ set -euo pipefail -export CARGO_TARGET_DIR=$PWD/target_ci export RUSTFLAGS=-Dwarnings export DEFMT_LOG=trace -- cgit