diff options
| author | Dario Nieuwenhuis <[email protected]> | 2023-05-26 23:05:18 +0200 |
|---|---|---|
| committer | Dario Nieuwenhuis <[email protected]> | 2023-05-29 18:15:53 +0200 |
| commit | 7b2a39a6fb62e0a1483b31e2d24dec71013558e7 (patch) | |
| tree | 26f65ba38752dac882f1a81b7b1209642f632759 /ci.sh | |
| parent | bab03a39273d1a88c53e219fffbed34225b3c72f (diff) | |
Switch to Bender for CI.
Diffstat (limited to 'ci.sh')
| -rwxr-xr-x | ci.sh | 1 |
1 files changed, 0 insertions, 1 deletions
| @@ -2,7 +2,6 @@ | |||
| 2 | 2 | ||
| 3 | set -euo pipefail | 3 | set -euo pipefail |
| 4 | 4 | ||
| 5 | export CARGO_TARGET_DIR=$PWD/target_ci | ||
| 6 | export RUSTFLAGS=-Dwarnings | 5 | export RUSTFLAGS=-Dwarnings |
| 7 | export DEFMT_LOG=trace | 6 | export DEFMT_LOG=trace |
| 8 | 7 | ||