trying stuff

Author: toolCHAINZ

.github/workflows/jingle_python.yml

@@ -41,7 +41,7 @@ jobs:
           target: ${{ matrix.platform.target }}
           args: --release --out dist --find-interpreter
           working-directory: jingle_python
-          manylinux: auto
+          manylinux: manylinux2_28
           before-script-linux: |
             python3 gh_actions_setup.py
             if [ -f .z3env ]; then