Use newer Ubuntu for CI.
Maybe it's update server will be more reliable.
This commit is contained in:
parent
d0a25ca9ac
commit
9e34da44c3
6
.github/workflows/build.yml
vendored
6
.github/workflows/build.yml
vendored
@ -10,7 +10,7 @@ on:
|
|||||||
|
|
||||||
jobs:
|
jobs:
|
||||||
test:
|
test:
|
||||||
runs-on: ubuntu-16.04
|
runs-on: ubuntu-18.04
|
||||||
steps:
|
steps:
|
||||||
- name: Dump GitHub context
|
- name: Dump GitHub context
|
||||||
env:
|
env:
|
||||||
@ -116,7 +116,7 @@ jobs:
|
|||||||
path: mpy-cross/mpy-cross
|
path: mpy-cross/mpy-cross
|
||||||
|
|
||||||
build-arm:
|
build-arm:
|
||||||
runs-on: ubuntu-16.04
|
runs-on: ubuntu-18.04
|
||||||
needs: test
|
needs: test
|
||||||
strategy:
|
strategy:
|
||||||
fail-fast: false
|
fail-fast: false
|
||||||
@ -281,7 +281,7 @@ jobs:
|
|||||||
if: github.event_name == 'push' || (github.event_name == 'release' && (github.event.action == 'published' || github.event.action == 'rerequested'))
|
if: github.event_name == 'push' || (github.event_name == 'release' && (github.event.action == 'published' || github.event.action == 'rerequested'))
|
||||||
|
|
||||||
build-riscv:
|
build-riscv:
|
||||||
runs-on: ubuntu-16.04
|
runs-on: ubuntu-18.04
|
||||||
needs: test
|
needs: test
|
||||||
strategy:
|
strategy:
|
||||||
fail-fast: false
|
fail-fast: false
|
||||||
|
Loading…
x
Reference in New Issue
Block a user