Remove old unused ci.sh

1 files changed, 0 insertions, 16 deletions

diff --git a/ci.sh b/ci.sh
deleted file mode 100755
index f43ea5e1a..000000000
--- a/ci.sh
+++ /dev/null
@@ -1,16 +0,0 @@
-#!/bin/bash
-
-set -euxo pipefail
-
-# build for std
-(cd embassy-net; cargo build --no-default-features --features log,medium-ethernet,tcp)
-(cd embassy-net; cargo build --no-default-features --features log,medium-ethernet,tcp,dhcpv4)
-(cd embassy-net; cargo build --no-default-features --features log,medium-ip,tcp)
-(cd embassy-net; cargo build --no-default-features --features log,medium-ethernet,medium-ip,tcp,dhcpv4)
-
-# build for embedded
-(cd embassy-net; cargo build --target thumbv7em-none-eabi --no-default-features --features log,medium-ethernet,medium-ip,tcp,dhcpv4)
-(cd embassy-net; cargo build --target thumbv7em-none-eabi --no-default-features --features defmt,smoltcp/defmt,medium-ethernet,medium-ip,tcp,dhcpv4)
-
-# build examples
-(cd embassy-net-examples; cargo build)