Merge pull request #242 from nschonni/remove-docker-workflow

ci: Remove disabled Docker workflow
tcort · Mar 9, 2023 · f46c273 · f46c273
2 parents 9fe4d96 + 657e2aa
commit f46c273
Showing 1 changed file with 0 additions and 56 deletions.
diff --git a/.github/workflows/docker.yml.off b/.github/workflows/docker.yml.off