mirror of
https://github.com/Z3Prover/z3
synced 2025-04-26 18:45:33 +00:00
Update pyodide.yml
switch to ubuntu 24
This commit is contained in:
parent
75d0dd891b
commit
eab49da274
1 changed files with 1 additions and 1 deletions
2
.github/workflows/pyodide.yml
vendored
2
.github/workflows/pyodide.yml
vendored
|
@ -12,7 +12,7 @@ permissions:
|
|||
|
||||
jobs:
|
||||
build:
|
||||
runs-on: ubuntu-latest
|
||||
runs-on: ubuntu-24.04
|
||||
|
||||
strategy:
|
||||
fail-fast: false
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue