Merge pull request #8 from tweag/excise-docker

tweag · Jan 31, 2025 · cf9d34d · cf9d34d
2 parents b74c59c + 7716fdb
commit cf9d34d
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 15 deletions.
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
@@ -44,10 +44,6 @@ git clone [email protected]:<your_username>/FawltyDeps-action-action-action-action-
 
 ### Set Up Your Development Environment
 
-#### Docker
-
-This uses [Docker](https://docker.io/) to package the container needed for the GitHub action.
-
 ## Making Changes
 
 ### Branch Naming

diff --git a/Dockerfile b/Dockerfile