delete Ubuntu 18.04 docker

model-checking · Nov 27, 2024 · 8382ee6 · 8382ee6
1 parent 5d8bb47
commit 8382ee6
Showing 1 changed file with 0 additions and 37 deletions.
diff --git a/scripts/ci/Dockerfile.bundle-test-ubuntu-18-04 b/scripts/ci/Dockerfile.bundle-test-ubuntu-18-04