fluidB
/
webdiss
1
0
Fork 0
Code Pull Requests Activity

Update GitHub Actions runner

Browse Source 
ubuntu-18.04 was turned off on April 1st, 2023.
Moving to the next version, ubuntu-20.04
master
Nicolas Favre-Felix 1 year ago
parent d64478f5ee
commit 35f4900bbb
No known key found for this signature in database
GPG Key ID: C04E7AA8B6F73372
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File

2
.github/workflows/build.yml vendored
Unescape Escape View File

@ -5,7 +5,7 @@ on: [push, pull_request, workflow_dispatch]
jobs: jobs:
build-and-run-tests: build-and-run-tests:
runs-on: ubuntu-18.04 # this is a GitHub Runner, hosting the execution runs-on: ubuntu-20.04 # this is a GitHub Runner, hosting the execution
container: ubuntu:18.04 # but this is a Docker Hub container, in which everything runs container: ubuntu:18.04 # but this is a Docker Hub container, in which everything runs
services: services:

Write Preview
Loading…
Cancel
Save