From d45e97779492993cdc3c437502f59c4a2439c268 Mon Sep 17 00:00:00 2001 From: "Jose F. Morales" Date: Mon, 22 Jul 2024 19:39:33 +0200 Subject: [PATCH] Disabled 32-bit build in Ubuntu Src-commit: 67a57bca4869aeff1e35e8e0056c5d04473025ac --- .github/workflows/build.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 05e7d0d39..7b0532098 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -22,7 +22,7 @@ jobs: # Note: enable only one 'devenv' build (for docs release) - { os: ubuntu-latest, arch: x86_64, inskind: minciao } - { os: ubuntu-latest, arch: x86_64, inskind: devenv } - - { os: ubuntu-latest, arch: i686, inskind: minciao } +# - { os: ubuntu-latest, arch: i686, inskind: minciao } - { os: macos-latest, arch: x86_64, inskind: minciao } - { os: macos-latest, arch: x86_64, inskind: devenv-nodocs } - { os: windows-2019, arch: x86_64, inskind: minciao }