idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-12-24 04:09:10 +03:00
Code Issues Projects Releases Wiki Activity

Merge pull request #3208 from buzden/bump-deprecated-actions

Browse Source 
[ ci ] Bump deprecated versions of used CI actions to avoid warnings
This commit is contained in:
André Videla 2024-02-01 11:13:58 +00:00 committed by GitHub
commit 45af7226ce
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
5 changed files with 45 additions and 45 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
.github/workflows/ci-bootstrap.yml vendored
View File

@ -25,7 +25,7 @@ jobs:
runs-on: ubuntu-20.04 runs-on: ubuntu-20.04
steps: steps:
- name: Checkout Project - name: Checkout Project
uses: actions/checkout@v3 uses: actions/checkout@v4
with: with:
# for pull_request so we can do HEAD^2 # for pull_request so we can do HEAD^2
fetch-depth: 2 fetch-depth: 2
@ -53,7 +53,7 @@ jobs:
SCHEME: scheme SCHEME: scheme
steps: steps:
- name: Checkout - name: Checkout
uses: actions/checkout@v3 uses: actions/checkout@v4
- name: Install build dependencies (LTS versions) - name: Install build dependencies (LTS versions)
run: | run: |
sudo apt-get update sudo apt-get update

80
.github/workflows/ci-idris2-and-libs.yml vendored
View File

@ -52,7 +52,7 @@ jobs:
runs-on: ubuntu-latest runs-on: ubuntu-latest
steps: steps:
- name: Checkout Project - name: Checkout Project
uses: actions/checkout@v3 uses: actions/checkout@v4
with: with:
# for pull_request so we can do HEAD^2 # for pull_request so we can do HEAD^2
fetch-depth: 2 fetch-depth: 2
@ -87,7 +87,7 @@ jobs:
SCHEME: scheme SCHEME: scheme
steps: steps:
- name: Checkout - name: Checkout
uses: actions/checkout@v3 uses: actions/checkout@v4
- name: Install build dependencies - name: Install build dependencies
run: | run: |
sudo apt-get update sudo apt-get update
@ -98,7 +98,7 @@ jobs:
# or by rebuilding it if necessary. # or by rebuilding it if necessary.
- name: Cache Chez Previous Version - name: Cache Chez Previous Version
id: previous-version-cache id: previous-version-cache
uses: actions/cache@v3 uses: actions/cache@v4
with: with:
path: Idris2-${{ env.IDRIS2_MINIMUM_COMPAT_VERSION }} path: Idris2-${{ env.IDRIS2_MINIMUM_COMPAT_VERSION }}
key: ${{ runner.os }}-idris2-bootstrapped-chez-${{ env.IDRIS2_MINIMUM_COMPAT_VERSION }} key: ${{ runner.os }}-idris2-bootstrapped-chez-${{ env.IDRIS2_MINIMUM_COMPAT_VERSION }}
@ -121,7 +121,7 @@ jobs:
run: | run: |
make && make install make && make install
- name: Artifact Idris2 from previous version - name: Artifact Idris2 from previous version
uses: actions/upload-artifact@v3 uses: actions/upload-artifact@v4
with: with:
name: ubuntu-installed-idris2-${{ env.IDRIS2_MINIMUM_COMPAT_VERSION }}-chez name: ubuntu-installed-idris2-${{ env.IDRIS2_MINIMUM_COMPAT_VERSION }}-chez
path: ~/.idris2/ path: ~/.idris2/
@ -144,7 +144,7 @@ jobs:
SCHEME: scheme SCHEME: scheme
steps: steps:
- name: Checkout - name: Checkout
uses: actions/checkout@v3 uses: actions/checkout@v4
- name: Install build dependencies - name: Install build dependencies
run: | run: |
sudo apt-get update sudo apt-get update
@ -155,7 +155,7 @@ jobs:
- name: Build from bootstrap - name: Build from bootstrap
run: make bootstrap && make install run: make bootstrap && make install
- name: Artifact Bootstrapped Idris2 - name: Artifact Bootstrapped Idris2
uses: actions/upload-artifact@v3 uses: actions/upload-artifact@v4
with: with:
name: ubuntu-installed-bootstrapped-idris2-chez name: ubuntu-installed-bootstrapped-idris2-chez
path: ~/.idris2/ path: ~/.idris2/
@ -171,7 +171,7 @@ jobs:
SCHEME: chez SCHEME: chez
steps: steps:
- name: Checkout - name: Checkout
uses: actions/checkout@v3 uses: actions/checkout@v4
- name: Install build dependencies - name: Install build dependencies
run: | run: |
brew update brew update
@ -184,7 +184,7 @@ jobs:
run: make bootstrap && make install run: make bootstrap && make install
shell: bash shell: bash
- name: Artifact Bootstrapped Idris2 - name: Artifact Bootstrapped Idris2
uses: actions/upload-artifact@v3 uses: actions/upload-artifact@v4
with: with:
name: macos-installed-bootstrapped-idris2-chez name: macos-installed-bootstrapped-idris2-chez
path: ~/.idris2/ path: ~/.idris2/
@ -207,7 +207,7 @@ jobs:
run: | run: |
git config --global core.autocrlf false git config --global core.autocrlf false
- name: Checkout - name: Checkout
uses: actions/checkout@v3 uses: actions/checkout@v4
- name: Get Chez Scheme - name: Get Chez Scheme
run: | run: |
git clone --depth 1 --branch v9.5.8a https://github.com/cisco/ChezScheme git clone --depth 1 --branch v9.5.8a https://github.com/cisco/ChezScheme
@ -234,7 +234,7 @@ jobs:
- name: Install - name: Install
run: c:\msys64\usr\bin\bash -l -c "cd $env:PWD && make install" run: c:\msys64\usr\bin\bash -l -c "cd $env:PWD && make install"
- name: Artifact Idris2 from chez - name: Artifact Idris2 from chez
uses: actions/upload-artifact@v3 uses: actions/upload-artifact@v4
with: with:
name: windows-installed-bootstrapped-idris2-chez name: windows-installed-bootstrapped-idris2-chez
path: ${{ env.IDRIS_PREFIX }} path: ${{ env.IDRIS_PREFIX }}
@ -247,7 +247,7 @@ jobs:
|| contains(needs.initialise.outputs.commit_message, '[ci: nix]') || contains(needs.initialise.outputs.commit_message, '[ci: nix]')
|| contains(needs.initialise.outputs.commit_message, '[ci: chez]')) || contains(needs.initialise.outputs.commit_message, '[ci: chez]'))
steps: steps:
- uses: actions/checkout@v3 - uses: actions/checkout@v4
with: with:
fetch-depth: 0 fetch-depth: 0
- uses: cachix/install-nix-action@v18 - uses: cachix/install-nix-action@v18
@ -270,7 +270,7 @@ jobs:
IDRIS2_CG: racket IDRIS2_CG: racket
steps: steps:
- name: Checkout - name: Checkout
uses: actions/checkout@v3 uses: actions/checkout@v4
- name: Install build dependencies - name: Install build dependencies
run: | run: |
sudo apt-get install -y racket sudo apt-get install -y racket
@ -280,7 +280,7 @@ jobs:
- name: Build from bootstrap - name: Build from bootstrap
run: make bootstrap-racket && make install run: make bootstrap-racket && make install
- name: Artifact Bootstrapped Idris2 - name: Artifact Bootstrapped Idris2
uses: actions/upload-artifact@v3 uses: actions/upload-artifact@v4
with: with:
name: ubuntu-installed-bootstrapped-idris2-racket name: ubuntu-installed-bootstrapped-idris2-racket
path: ~/.idris2/ path: ~/.idris2/
@ -299,9 +299,9 @@ jobs:
SCHEME: scheme SCHEME: scheme
steps: steps:
- name: Checkout - name: Checkout
uses: actions/checkout@v3 uses: actions/checkout@v4
- name: Download Idris2 Artifact - name: Download Idris2 Artifact
uses: actions/download-artifact@v3 uses: actions/download-artifact@v4
with: with:
name: ubuntu-installed-bootstrapped-idris2-chez name: ubuntu-installed-bootstrapped-idris2-chez
path: ~/.idris2/ path: ~/.idris2/
@ -323,9 +323,9 @@ jobs:
SCHEME: chez SCHEME: chez
steps: steps:
- name: Checkout - name: Checkout
uses: actions/checkout@v3 uses: actions/checkout@v4
- name: Download Idris2 Artifact - name: Download Idris2 Artifact
uses: actions/download-artifact@v3 uses: actions/download-artifact@v4
with: with:
name: macos-installed-bootstrapped-idris2-chez name: macos-installed-bootstrapped-idris2-chez
path: ~/.idris2/ path: ~/.idris2/
@ -353,9 +353,9 @@ jobs:
IDRIS2_CG: racket IDRIS2_CG: racket
steps: steps:
- name: Checkout - name: Checkout
uses: actions/checkout@v3 uses: actions/checkout@v4
- name: Download Idris2 Artifact - name: Download Idris2 Artifact
uses: actions/download-artifact@v3 uses: actions/download-artifact@v4
with: with:
name: ubuntu-installed-bootstrapped-idris2-racket name: ubuntu-installed-bootstrapped-idris2-racket
path: ~/.idris2/ path: ~/.idris2/
@ -380,9 +380,9 @@ jobs:
IDRIS2_CG: chez IDRIS2_CG: chez
steps: steps:
- name: Checkout - name: Checkout
uses: actions/checkout@v3 uses: actions/checkout@v4
- name: Download Idris2 Artifact - name: Download Idris2 Artifact
uses: actions/download-artifact@v3 uses: actions/download-artifact@v4
with: with:
name: ubuntu-installed-idris2-${{ env.IDRIS2_MINIMUM_COMPAT_VERSION }}-chez name: ubuntu-installed-idris2-${{ env.IDRIS2_MINIMUM_COMPAT_VERSION }}-chez
path: ~/.idris2/ path: ~/.idris2/
@ -397,7 +397,7 @@ jobs:
- name: Test self-hosted from previous version - name: Test self-hosted from previous version
run: make ci-ubuntu-test INTERACTIVE='' run: make ci-ubuntu-test INTERACTIVE=''
- name: Artifact Idris2 - name: Artifact Idris2
uses: actions/upload-artifact@v3 uses: actions/upload-artifact@v4
with: with:
name: idris2-nightly-chez name: idris2-nightly-chez
path: ~/.idris2/ path: ~/.idris2/
@ -421,7 +421,7 @@ jobs:
git config --global core.autocrlf false git config --global core.autocrlf false
echo "PWD=$(c:\msys64\usr\bin\cygpath -u $(pwd))" | Out-File -FilePath $env:GITHUB_ENV -Encoding utf8 -Append echo "PWD=$(c:\msys64\usr\bin\cygpath -u $(pwd))" | Out-File -FilePath $env:GITHUB_ENV -Encoding utf8 -Append
- name: Checkout - name: Checkout
uses: actions/checkout@v3 uses: actions/checkout@v4
- name: Get Chez Scheme - name: Get Chez Scheme
run: | run: |
git clone --depth 1 --branch v9.5.8a https://github.com/cisco/ChezScheme git clone --depth 1 --branch v9.5.8a https://github.com/cisco/ChezScheme
@ -439,7 +439,7 @@ jobs:
echo "IDRIS_PREFIX=$idris" | Out-File -FilePath $env:GITHUB_ENV -Encoding utf8 -Append echo "IDRIS_PREFIX=$idris" | Out-File -FilePath $env:GITHUB_ENV -Encoding utf8 -Append
echo "PREFIX=$(c:\msys64\usr\bin\cygpath -u $idris)" | Out-File -FilePath $env:GITHUB_ENV -Encoding utf8 -Append echo "PREFIX=$(c:\msys64\usr\bin\cygpath -u $idris)" | Out-File -FilePath $env:GITHUB_ENV -Encoding utf8 -Append
- name: Download Idris2 Artifact - name: Download Idris2 Artifact
uses: actions/download-artifact@v3 uses: actions/download-artifact@v4
with: with:
name: windows-installed-bootstrapped-idris2-chez name: windows-installed-bootstrapped-idris2-chez
path: ${{ env.IDRIS_PREFIX }} path: ${{ env.IDRIS_PREFIX }}
@ -469,9 +469,9 @@ jobs:
IDRIS2_CG: chez IDRIS2_CG: chez
steps: steps:
- name: Checkout - name: Checkout
uses: actions/checkout@v3 uses: actions/checkout@v4
- name: Download Idris2 Artifact - name: Download Idris2 Artifact
uses: actions/download-artifact@v3 uses: actions/download-artifact@v4
with: with:
name: ubuntu-installed-bootstrapped-idris2-chez name: ubuntu-installed-bootstrapped-idris2-chez
path: ~/.idris2/ path: ~/.idris2/
@ -510,7 +510,7 @@ jobs:
IDRIS2_CG: chez IDRIS2_CG: chez
steps: steps:
- name: Download Idris2 Artifact - name: Download Idris2 Artifact
uses: actions/download-artifact@v3 uses: actions/download-artifact@v4
with: with:
name: idris2-nightly-chez name: idris2-nightly-chez
path: ~/.idris2/ path: ~/.idris2/
@ -521,7 +521,7 @@ jobs:
echo "$HOME/.idris2/bin" >> "$GITHUB_PATH" echo "$HOME/.idris2/bin" >> "$GITHUB_PATH"
chmod +x "$HOME/.idris2/bin/idris2" "$HOME/.idris2/bin/idris2_app/"* chmod +x "$HOME/.idris2/bin/idris2" "$HOME/.idris2/bin/idris2_app/"*
- name: Checkout - name: Checkout
uses: actions/checkout@v3 uses: actions/checkout@v4
with: with:
repository: 'ohad/collie' repository: 'ohad/collie'
- name: Build Collie - name: Build Collie
@ -542,7 +542,7 @@ jobs:
IDRIS2_CG: chez IDRIS2_CG: chez
steps: steps:
- name: Download Idris2 Artifact - name: Download Idris2 Artifact
uses: actions/download-artifact@v3 uses: actions/download-artifact@v4
with: with:
name: idris2-nightly-chez name: idris2-nightly-chez
path: ~/.idris2/ path: ~/.idris2/
@ -553,7 +553,7 @@ jobs:
echo "$HOME/.idris2/bin" >> "$GITHUB_PATH" echo "$HOME/.idris2/bin" >> "$GITHUB_PATH"
chmod +x "$HOME/.idris2/bin/idris2" "$HOME/.idris2/bin/idris2_app/"* chmod +x "$HOME/.idris2/bin/idris2" "$HOME/.idris2/bin/idris2_app/"*
- name: Checkout - name: Checkout
uses: actions/checkout@v3 uses: actions/checkout@v4
with: with:
repository: 'frex-project/idris-frex' repository: 'frex-project/idris-frex'
- name: Build Frex - name: Build Frex
@ -577,7 +577,7 @@ jobs:
IDRIS2_CG: chez IDRIS2_CG: chez
steps: steps:
- name: Download Idris2 Artifact - name: Download Idris2 Artifact
uses: actions/download-artifact@v3 uses: actions/download-artifact@v4
with: with:
name: idris2-nightly-chez name: idris2-nightly-chez
path: ~/.idris2/ path: ~/.idris2/
@ -588,7 +588,7 @@ jobs:
echo "$HOME/.idris2/bin" >> "$GITHUB_PATH" echo "$HOME/.idris2/bin" >> "$GITHUB_PATH"
chmod +x "$HOME/.idris2/bin/idris2" "$HOME/.idris2/bin/idris2_app/"* chmod +x "$HOME/.idris2/bin/idris2" "$HOME/.idris2/bin/idris2_app/"*
- name: Checkout - name: Checkout
uses: actions/checkout@v3 uses: actions/checkout@v4
with: with:
repository: 'stefan-hoeck/idris2-elab-util' repository: 'stefan-hoeck/idris2-elab-util'
- name: Build idris2-elab-util - name: Build idris2-elab-util
@ -615,7 +615,7 @@ jobs:
container: ghcr.io/stefan-hoeck/idris2-pack:latest container: ghcr.io/stefan-hoeck/idris2-pack:latest
steps: steps:
- name: Checkout - name: Checkout
uses: actions/checkout@v3 uses: actions/checkout@v4
with: with:
repository: 'stefan-hoeck/idris2-pack' repository: 'stefan-hoeck/idris2-pack'
# by default, pack uses the main idris2 head, not the current job's one # by default, pack uses the main idris2 head, not the current job's one
@ -658,7 +658,7 @@ jobs:
fail-fast: false fail-fast: false
steps: steps:
- name: Checkout - name: Checkout
uses: actions/checkout@v3 uses: actions/checkout@v4
with: with:
repository: 'idris-community/idris2-lsp' repository: 'idris-community/idris2-lsp'
- name: Toml setup - name: Toml setup
@ -705,7 +705,7 @@ jobs:
fi fi
- name: Download Idris2 Artifact - name: Download Idris2 Artifact
uses: actions/download-artifact@v3 uses: actions/download-artifact@v4
with: with:
name: idris2-nightly-chez name: idris2-nightly-chez
path: ~/.idris2/ path: ~/.idris2/
@ -716,26 +716,26 @@ jobs:
echo "$HOME/.idris2/bin" >> "$GITHUB_PATH" echo "$HOME/.idris2/bin" >> "$GITHUB_PATH"
chmod +x "$HOME/.idris2/bin/idris2" "$HOME/.idris2/bin/idris2_app/"* chmod +x "$HOME/.idris2/bin/idris2" "$HOME/.idris2/bin/idris2_app/"*
- name: Checkout idris2 - name: Checkout idris2
uses: actions/checkout@v3 uses: actions/checkout@v4
- name: Build API - name: Build API
run: make install-api run: make install-api
shell: bash shell: bash
- name: Checkout collie - name: Checkout collie
uses: actions/checkout@v3 uses: actions/checkout@v4
with: with:
repository: 'ohad/collie' repository: 'ohad/collie'
- name: Build and install Collie - name: Build and install Collie
run: | run: |
make install make install
- name: Checkout idrall - name: Checkout idrall
uses: actions/checkout@v3 uses: actions/checkout@v4
with: with:
repository: 'alexhumphreys/idrall' repository: 'alexhumphreys/idrall'
- name: Build and install idrall - name: Build and install idrall
run: | run: |
make install make install
- name: Checkout katla - name: Checkout katla
uses: actions/checkout@v3 uses: actions/checkout@v4
with: with:
repository: 'idris-community/katla' repository: 'idris-community/katla'
- name: Build and install katla - name: Build and install katla
@ -745,7 +745,7 @@ jobs:
cp -r build/exec/* "${HOME}"/.local/bin/ cp -r build/exec/* "${HOME}"/.local/bin/
echo "${HOME}/.local/bin" >> "$GITHUB_PATH" echo "${HOME}/.local/bin" >> "$GITHUB_PATH"
- name: Checkout idris2 - name: Checkout idris2
uses: actions/checkout@v3 uses: actions/checkout@v4
- name: Build html doc & landing page - name: Build html doc & landing page
run: | run: |
make -C libs/prelude/ install docs IDRIS2=idris2 make -C libs/prelude/ install docs IDRIS2=idris2

2
.github/workflows/ci-lint.yml vendored
View File

@ -14,7 +14,7 @@ jobs:
runs-on: ubuntu-latest runs-on: ubuntu-latest
steps: steps:
- name: Checkout - name: Checkout
uses: actions/checkout@v3 uses: actions/checkout@v4
- name: Lint the sources - name: Lint the sources
run: python3 lint/lint.py run: python3 lint/lint.py
shell: bash shell: bash

2
.github/workflows/ci-sphinx.yml vendored
View File

@ -17,7 +17,7 @@ jobs:
steps: steps:
- name: Checkout - name: Checkout
uses: actions/checkout@v3 uses: actions/checkout@v4
- name: Build docs - name: Build docs
run: | run: |
sudo apt-get install -y python3-sphinx sudo apt-get install -y python3-sphinx

2
.github/workflows/ci-super-linter.yml vendored
View File

@ -39,7 +39,7 @@ jobs:
# Checkout the code base # # Checkout the code base #
########################## ##########################
- name: Checkout Code - name: Checkout Code
uses: actions/checkout@v3 uses: actions/checkout@v4
with: with:
# Full git history is needed to get a proper list of changed files within `super-linter` # Full git history is needed to get a proper list of changed files within `super-linter`
fetch-depth: 0 fetch-depth: 0