Remove files related to Docker

The Factor image is now maintained in https://github.com/codewars/factor.
codewars · Dec 1, 2023 · ee7100f · ee7100f
1 parent d02180e
commit ee7100f
Show file tree

Hide file tree

Showing 8 changed files with 0 additions and 141 deletions.
diff --git a/.dockerignore b/.dockerignore
diff --git a/.github/workflows/push-image.yml b/.github/workflows/push-image.yml
diff --git a/Dockerfile b/Dockerfile
diff --git a/bin/run b/bin/run
diff --git a/example/kata/kata.factor b/example/kata/kata.factor
diff --git a/example/kata/preloaded/preloaded.factor b/example/kata/preloaded/preloaded.factor
diff --git a/example/kata/tests/tests.factor b/example/kata/tests/tests.factor
diff --git a/example/run-tests.sh b/example/run-tests.sh