Skip to content

Merge branch 'main' into improve_pathfinder #943

Merge branch 'main' into improve_pathfinder

Merge branch 'main' into improve_pathfinder #943

GitHub Actions / hadolint succeeded Nov 3, 2023 in 1s

reviewdog [hadolint] report

reported by reviewdog 🐶

Findings (0)
Filtered Findings (13)

docker/Dockerfile.arm|4 col 1| Pin versions in apt get install. Instead of apt-get install <package> use apt-get install <package>=<version>
docker/Dockerfile.arm|12 col 1| Use WORKDIR to switch to a directory
docker/Dockerfile.arm|12 col 1| Set the SHELL option -o pipefail before RUN with a pipe in it. If you are using /bin/sh in an alpine image or if your shell is symlinked to busybox then consider explicitly setting your SHELL to /bin/ash, or disable this check
docker/Dockerfile.arm|12 col 1| Double quote to prevent globbing and word splitting.
docker/Dockerfile.arm|45 col 1| Pin versions in apt get install. Instead of apt-get install <package> use apt-get install <package>=<version>
docker/Dockerfile.dev|4 col 1| Pin versions in apt get install. Instead of apt-get install <package> use apt-get install <package>=<version>
docker/Dockerfile.dev|13 col 1| Use WORKDIR to switch to a directory
docker/Dockerfile.dev|13 col 1| Set the SHELL option -o pipefail before RUN with a pipe in it. If you are using /bin/sh in an alpine image or if your shell is symlinked to busybox then consider explicitly setting your SHELL to /bin/ash, or disable this check
docker/Dockerfile.x86|4 col 1| Pin versions in apt get install. Instead of apt-get install <package> use apt-get install <package>=<version>
docker/Dockerfile.x86|12 col 1| Use WORKDIR to switch to a directory
docker/Dockerfile.x86|12 col 1| Set the SHELL option -o pipefail before RUN with a pipe in it. If you are using /bin/sh in an alpine image or if your shell is symlinked to busybox then consider explicitly setting your SHELL to /bin/ash, or disable this check
docker/Dockerfile.x86|12 col 1| Double quote to prevent globbing and word splitting.
docker/Dockerfile.x86|44 col 1| Pin versions in apt get install. Instead of apt-get install <package> use apt-get install <package>=<version>