Cleaning up old ci files that are not used anymore (#32)

informalsystems · Jan 21, 2021 · 8f632d5 · 8f632d5
1 parent 2d38da0
commit 8f632d5
Show file tree

Hide file tree

Showing 17 changed files with 0 additions and 1,090 deletions.
diff --git a/ci/.gitignore b/ci/.gitignore
@@ -1,3 +1,2 @@
 /gaia/**/*
-cosmos-sdk/
 data/**/*
diff --git a/ci/build-chains.sh b/ci/build-chains.sh
diff --git a/ci/build-simd.sh b/ci/build-simd.sh
diff --git a/ci/chain_a.Dockerfile b/ci/chain_a.Dockerfile
diff --git a/ci/chain_b.Dockerfile b/ci/chain_b.Dockerfile
diff --git a/ci/simapp/README.md b/ci/simapp/README.md
diff --git a/ci/simapp/config/app.toml b/ci/simapp/config/app.toml