Remove Ubuntu 20.04 runner
This commit is contained in:
5
.github/workflows/ci.yml
vendored
5
.github/workflows/ci.yml
vendored
@@ -40,7 +40,6 @@ jobs:
|
|||||||
# operating systems
|
# operating systems
|
||||||
- { os: windows-latest, rust-version: stable, target: 'x86_64-pc-windows-msvc', publish: true }
|
- { os: windows-latest, rust-version: stable, target: 'x86_64-pc-windows-msvc', publish: true }
|
||||||
- { os: macos-latest, rust-version: stable, target: 'x86_64-apple-darwin', publish: true }
|
- { os: macos-latest, rust-version: stable, target: 'x86_64-apple-darwin', publish: true }
|
||||||
- { os: ubuntu-20.04, rust-version: stable, target: 'x86_64-unknown-linux-gnu', publish: true }
|
|
||||||
# architectures
|
# architectures
|
||||||
- { os: ubuntu-22.04, rust-version: stable, target: 'x86_64-unknown-linux-gnu', publish: true }
|
- { os: ubuntu-22.04, rust-version: stable, target: 'x86_64-unknown-linux-gnu', publish: true }
|
||||||
- { os: ubuntu-22.04, rust-version: stable, target: 'i686-unknown-linux-gnu', publish: true }
|
- { os: ubuntu-22.04, rust-version: stable, target: 'i686-unknown-linux-gnu', publish: true }
|
||||||
@@ -95,13 +94,13 @@ jobs:
|
|||||||
|
|
||||||
logtalk-test:
|
logtalk-test:
|
||||||
# if: false # uncomment to disable job
|
# if: false # uncomment to disable job
|
||||||
runs-on: ubuntu-20.04
|
runs-on: ubuntu-22.04
|
||||||
needs: [build-test]
|
needs: [build-test]
|
||||||
steps:
|
steps:
|
||||||
# Download prebuilt ubuntu binary from build-test job, setup logtalk
|
# Download prebuilt ubuntu binary from build-test job, setup logtalk
|
||||||
- uses: actions/download-artifact@v4
|
- uses: actions/download-artifact@v4
|
||||||
with:
|
with:
|
||||||
name: scryer-prolog_ubuntu-20.04_x86_64-unknown-linux-gnu
|
name: scryer-prolog_ubuntu-22.04_x86_64-unknown-linux-gnu
|
||||||
- run: |
|
- run: |
|
||||||
chmod +x scryer-prolog
|
chmod +x scryer-prolog
|
||||||
echo "$PWD" >> "$GITHUB_PATH"
|
echo "$PWD" >> "$GITHUB_PATH"
|
||||||
|
|||||||
Reference in New Issue
Block a user