Rename os names

This commit is contained in:
Arnaud 2025-10-10 14:31:07 +02:00
parent 9a0a75c0a9
commit 4ce2a0729f
No known key found for this signature in database
GPG Key ID: 20E40A5D3110766F

View File

@ -15,13 +15,13 @@ jobs:
nim_version: [v2.0.14] nim_version: [v2.0.14]
rust_version: [1.79.0] rust_version: [1.79.0]
include: include:
- os: ubuntu-latest - os: ubuntu
lib_ext: so lib_ext: so
shell: bash --noprofile --norc -e -o pipefail shell: bash --noprofile --norc -e -o pipefail
- os: windows-latest - os: windows
lib_ext: dll lib_ext: dll
shell: msys2 shell: msys2
- os: macos-latest - os: macos
lib_ext: so lib_ext: so
shell: bash --noprofile --norc -e -o pipefail shell: bash --noprofile --norc -e -o pipefail