Revert "ci: circumvent AVX512 issue on GHA runners (#87)"#92
Open
patrickdoc wants to merge 5 commits into
Open
Revert "ci: circumvent AVX512 issue on GHA runners (#87)"#92patrickdoc wants to merge 5 commits into
patrickdoc wants to merge 5 commits into
Commits
Commits on May 22, 2026
- committed
- committed
- committed
- committed
Commits on May 28, 2026
- committed
