CI: Remove Ubuntu 18.04 x64 configuration

dbaston · Nov 8, 2023 · e55d471 · e55d471
1 parent 1f871a2
commit e55d471
Show file tree

Hide file tree

Showing 5 changed files with 0 additions and 180 deletions.
diff --git a/.github/workflows/linux_build.yml b/.github/workflows/linux_build.yml
@@ -110,14 +110,6 @@ jobs:
             container: icc
             build_script: build.sh
 
-          - name: Ubuntu 18.04, gcc
-            id: ubuntu_18.04
-            container: ubuntu_18.04
-            build_script: build.sh
-            before_test_script: services.sh
-            test_script: test.sh
-            travis_branch: ubuntu_1804
-
           - name: Ubuntu 18.04, gcc 32-bit
             id: ubuntu_18.04_32bit
             container: ubuntu_18.04_32bit

diff --git a/.github/workflows/ubuntu_18.04/Dockerfile.ci b/.github/workflows/ubuntu_18.04/Dockerfile.ci
diff --git a/.github/workflows/ubuntu_18.04/build.sh b/.github/workflows/ubuntu_18.04/build.sh
diff --git a/.github/workflows/ubuntu_18.04/services.sh b/.github/workflows/ubuntu_18.04/services.sh
diff --git a/.github/workflows/ubuntu_18.04/test.sh b/.github/workflows/ubuntu_18.04/test.sh