remove all irrelevant workers

Signed-off-by: Marcus Müller <mueller@baseband.digital>
gnuradio · Aug 28, 2024 · bc685f5 · bc685f5
1 parent 12e0bd1
commit bc685f5
Show file tree

Hide file tree

Showing 17 changed files with 0 additions and 1,961 deletions.
diff --git a/ci/ci-centos-7.6-3.8/Dockerfile b/ci/ci-centos-7.6-3.8/Dockerfile
diff --git a/ci/ci-centos-8.3-3.9/Dockerfile b/ci/ci-centos-8.3-3.9/Dockerfile
diff --git a/ci/ci-centos-8.4-3.10/Dockerfile b/ci/ci-centos-8.4-3.10/Dockerfile