mirror of
https://github.com/davidhalter/typeshed.git
synced 2026-10-03 16:33:49 +08:00
[CI] Pin Ubuntu in third party stubtest (#12846)
This fixes a problem with gdb changing between the Ubuntu versions.
This commit is contained in:
1 parent
3b0ce50352
commit
c6affbb804
2 files changed
+6
-2
No files matched your search
@@ -60,7 +60,9 @@ jobs:
|
||||
runs-on: ${{ matrix.os }}
|
||||
strategy:
|
||||
matrix:
|
||||
os: ["ubuntu-latest", "windows-latest", "macos-latest"]
|
||||
# As of 2024-10-18, ubuntu-latest can refer to different Ubuntu versions,
|
||||
# which causes problems when testing gdb.
|
||||
os: ["ubuntu-24.04", "windows-latest", "macos-latest"]
|
||||
shard-index: [0, 1, 2, 3]
|
||||
fail-fast: false
|
||||
steps:
|
||||
|
||||
@@ -32,7 +32,9 @@ jobs:
|
||||
runs-on: ${{ matrix.os }}
|
||||
strategy:
|
||||
matrix:
|
||||
os: ["ubuntu-latest", "windows-latest", "macos-latest"]
|
||||
# As of 2024-10-18, ubuntu-latest can refer to different Ubuntu versions,
|
||||
# which causes problems when testing gdb.
|
||||
os: ["ubuntu-24.04", "windows-latest", "macos-latest"]
|
||||
fail-fast: false
|
||||
|
||||
steps:
|
||||
|
||||
Reference in new issue
Block a user