Revert "ci: circumvent AVX512 issue on GHA runners (#87)"#92
Closed
patrickdoc wants to merge 5 commits into
Closed
Revert "ci: circumvent AVX512 issue on GHA runners (#87)"#92patrickdoc wants to merge 5 commits into
patrickdoc wants to merge 5 commits into