fix: run docker build workflow if docker.env changed

Without this, PRs that for example update the rust toolchain (see rust-vmm#132
for an example) will not trigger the workflow, but since the workflow is
required, they will not be able to get merged).

Signed-off-by: Patrick Roy <[email protected]>

Author: roypat

.github/workflows/docker-publish.yml

@@ -9,6 +9,7 @@ on:
       - build_container.sh
       - Dockerfile.riscv64
       - riscv64/*
+      - docker.env
   pull_request:
     branches: [ "main" ]
     paths:
@@ -17,6 +18,7 @@ on:
       - build_container.sh
       - Dockerfile.riscv64
       - riscv64/*
+      - docker.env
 
 jobs:
   build: