remove ci

krishpranav · Aug 29, 2021 · 92a4fa2 · 92a4fa2
1 parent 49ed1e6
commit 92a4fa2
Show file tree

Hide file tree

Showing 8 changed files with 0 additions and 135 deletions.
diff --git a/ci/Dockerfile b/ci/Dockerfile
diff --git a/ci/boxxy_stage0.txt b/ci/boxxy_stage0.txt
diff --git a/ci/boxxy_stage1.txt b/ci/boxxy_stage1.txt
diff --git a/ci/boxxy_stage2.txt b/ci/boxxy_stage2.txt
diff --git a/ci/build.sh b/ci/build.sh
diff --git a/ci/reprotest.sh b/ci/reprotest.sh
diff --git a/ci/setup.sh b/ci/setup.sh
diff --git a/ci/test.sh b/ci/test.sh