Skip to content

Correctly check for runner OS, rename GitHub workflow #33

Correctly check for runner OS, rename GitHub workflow

Correctly check for runner OS, rename GitHub workflow #33