Disabled 32-bit build in Ubuntu

Src-commit: 67a57bca4869aeff1e35e8e0056c5d04473025ac

Author: jfmc

.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 }