diff options
| author |  Johannes Christ <[email protected]> | 2021-09-04 20:17:29 +0200 |
|---|---|---|
| committer |  GitHub <[email protected]> | 2021-09-04 20:17:29 +0200 |
| commit | 57087fdc0144fedb49793dede3e68ef2bab83e18 (patch) | |
| tree | 5d81eff075512609eb2b3517543736f80a47314f | |
| parent | Merge pull request #1794 from python-discord/Add-concurrency-to-all-workflows (diff) | |
| parent | Merge branch 'main' into pin-platform-in-Dockerfile (diff) | |
Merge pull request #1811 from python-discord/pin-platform-in-Dockerfile
Pin platform in Dockerfile
| -rw-r--r-- | Dockerfile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Dockerfile b/Dockerfile index 4d8592590..30bf8a361 100644 --- a/Dockerfile +++ b/Dockerfile @@ -1,4 +1,4 @@ -FROM python:3.9-slim +FROM --platform=linux/amd64 python:3.9-slim # Set pip to have no saved cache ENV PIP_NO_CACHE_DIR=false \ |