Renamed Runner Dockerfiles (#1248)

Renamed the runner dockerfiles so that we have proper syntax highlighting for them, as well as a consistent way to map from the image name to the dockerfile. Added a `.dockerignore` file to avoid uploading things to the daemon that we never use.
This commit is contained in:
Richard Fussenegger
2022-05-16 04:41:28 +02:00
committed by GitHub
parent 8035d6d9f8
commit cdc9d20e7a
5 changed files with 28 additions and 18 deletions

2
runner/.dockerignore Normal file
View File

@@ -0,0 +1,2 @@
*.dockerfile
Makefile