Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

[ ci ] Bump deprecated versions of used CI actions to avoid warnings #3208

Merged
merged 1 commit into from
Feb 1, 2024
Merged

[ ci ] Bump deprecated versions of used CI actions to avoid warnings #3208

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 2 additions & 2 deletions .github/workflows/ci-bootstrap.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -25,7 +25,7 @@ jobs:
runs-on: ubuntu-20.04
steps:
- name: Checkout Project
uses: actions/checkout@v3
uses: actions/checkout@v4
with:
# for pull_request so we can do HEAD^2
fetch-depth: 2
Expand Down Expand Up @@ -53,7 +53,7 @@ jobs:
SCHEME: scheme
steps:
- name: Checkout
uses: actions/checkout@v3
uses: actions/checkout@v4
- name: Install build dependencies (LTS versions)
run: |
sudo apt-get update
Expand Down
80 changes: 40 additions & 40 deletions .github/workflows/ci-idris2-and-libs.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -52,7 +52,7 @@ jobs:
runs-on: ubuntu-latest
steps:
- name: Checkout Project
uses: actions/checkout@v3
uses: actions/checkout@v4
with:
# for pull_request so we can do HEAD^2
fetch-depth: 2
Expand Down Expand Up @@ -87,7 +87,7 @@ jobs:
SCHEME: scheme
steps:
- name: Checkout
uses: actions/checkout@v3
uses: actions/checkout@v4
- name: Install build dependencies
run: |
sudo apt-get update
Expand All @@ -98,7 +98,7 @@ jobs:
# or by rebuilding it if necessary.
- name: Cache Chez Previous Version
id: previous-version-cache
uses: actions/cache@v3
uses: actions/cache@v4
with:
path: Idris2-${{ env.IDRIS2_MINIMUM_COMPAT_VERSION }}
key: ${{ runner.os }}-idris2-bootstrapped-chez-${{ env.IDRIS2_MINIMUM_COMPAT_VERSION }}
Expand All @@ -121,7 +121,7 @@ jobs:
run: |
make && make install
- name: Artifact Idris2 from previous version
uses: actions/upload-artifact@v3
uses: actions/upload-artifact@v4
with:
name: ubuntu-installed-idris2-${{ env.IDRIS2_MINIMUM_COMPAT_VERSION }}-chez
path: ~/.idris2/
Expand All @@ -144,7 +144,7 @@ jobs:
SCHEME: scheme
steps:
- name: Checkout
uses: actions/checkout@v3
uses: actions/checkout@v4
- name: Install build dependencies
run: |
sudo apt-get update
Expand All @@ -155,7 +155,7 @@ jobs:
- name: Build from bootstrap
run: make bootstrap && make install
- name: Artifact Bootstrapped Idris2
uses: actions/upload-artifact@v3
uses: actions/upload-artifact@v4
with:
name: ubuntu-installed-bootstrapped-idris2-chez
path: ~/.idris2/
Expand All @@ -171,7 +171,7 @@ jobs:
SCHEME: chez
steps:
- name: Checkout
uses: actions/checkout@v3
uses: actions/checkout@v4
- name: Install build dependencies
run: |
brew update
Expand All @@ -184,7 +184,7 @@ jobs:
run: make bootstrap && make install
shell: bash
- name: Artifact Bootstrapped Idris2
uses: actions/upload-artifact@v3
uses: actions/upload-artifact@v4
with:
name: macos-installed-bootstrapped-idris2-chez
path: ~/.idris2/
Expand All @@ -207,7 +207,7 @@ jobs:
run: |
git config --global core.autocrlf false
- name: Checkout
uses: actions/checkout@v3
uses: actions/checkout@v4
- name: Get Chez Scheme
run: |
git clone --depth 1 --branch v9.5.8a https://github.com/cisco/ChezScheme
Expand All @@ -234,7 +234,7 @@ jobs:
- name: Install
run: c:\msys64\usr\bin\bash -l -c "cd $env:PWD && make install"
- name: Artifact Idris2 from chez
uses: actions/upload-artifact@v3
uses: actions/upload-artifact@v4
with:
name: windows-installed-bootstrapped-idris2-chez
path: ${{ env.IDRIS_PREFIX }}
Expand All @@ -247,7 +247,7 @@ jobs:
|| contains(needs.initialise.outputs.commit_message, '[ci: nix]')
|| contains(needs.initialise.outputs.commit_message, '[ci: chez]'))
steps:
- uses: actions/checkout@v3
- uses: actions/checkout@v4
with:
fetch-depth: 0
- uses: cachix/install-nix-action@v18
Expand All @@ -270,7 +270,7 @@ jobs:
IDRIS2_CG: racket
steps:
- name: Checkout
uses: actions/checkout@v3
uses: actions/checkout@v4
- name: Install build dependencies
run: |
sudo apt-get install -y racket
Expand All @@ -280,7 +280,7 @@ jobs:
- name: Build from bootstrap
run: make bootstrap-racket && make install
- name: Artifact Bootstrapped Idris2
uses: actions/upload-artifact@v3
uses: actions/upload-artifact@v4
with:
name: ubuntu-installed-bootstrapped-idris2-racket
path: ~/.idris2/
Expand All @@ -299,9 +299,9 @@ jobs:
SCHEME: scheme
steps:
- name: Checkout
uses: actions/checkout@v3
uses: actions/checkout@v4
- name: Download Idris2 Artifact
uses: actions/download-artifact@v3
uses: actions/download-artifact@v4
with:
name: ubuntu-installed-bootstrapped-idris2-chez
path: ~/.idris2/
Expand All @@ -323,9 +323,9 @@ jobs:
SCHEME: chez
steps:
- name: Checkout
uses: actions/checkout@v3
uses: actions/checkout@v4
- name: Download Idris2 Artifact
uses: actions/download-artifact@v3
uses: actions/download-artifact@v4
with:
name: macos-installed-bootstrapped-idris2-chez
path: ~/.idris2/
Expand Down Expand Up @@ -353,9 +353,9 @@ jobs:
IDRIS2_CG: racket
steps:
- name: Checkout
uses: actions/checkout@v3
uses: actions/checkout@v4
- name: Download Idris2 Artifact
uses: actions/download-artifact@v3
uses: actions/download-artifact@v4
with:
name: ubuntu-installed-bootstrapped-idris2-racket
path: ~/.idris2/
Expand All @@ -380,9 +380,9 @@ jobs:
IDRIS2_CG: chez
steps:
- name: Checkout
uses: actions/checkout@v3
uses: actions/checkout@v4
- name: Download Idris2 Artifact
uses: actions/download-artifact@v3
uses: actions/download-artifact@v4
with:
name: ubuntu-installed-idris2-${{ env.IDRIS2_MINIMUM_COMPAT_VERSION }}-chez
path: ~/.idris2/
Expand All @@ -397,7 +397,7 @@ jobs:
- name: Test self-hosted from previous version
run: make ci-ubuntu-test INTERACTIVE=''
- name: Artifact Idris2
uses: actions/upload-artifact@v3
uses: actions/upload-artifact@v4
with:
name: idris2-nightly-chez
path: ~/.idris2/
Expand All @@ -421,7 +421,7 @@ jobs:
git config --global core.autocrlf false
echo "PWD=$(c:\msys64\usr\bin\cygpath -u $(pwd))" | Out-File -FilePath $env:GITHUB_ENV -Encoding utf8 -Append
- name: Checkout
uses: actions/checkout@v3
uses: actions/checkout@v4
- name: Get Chez Scheme
run: |
git clone --depth 1 --branch v9.5.8a https://github.com/cisco/ChezScheme
Expand All @@ -439,7 +439,7 @@ jobs:
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
- name: Download Idris2 Artifact
uses: actions/download-artifact@v3
uses: actions/download-artifact@v4
with:
name: windows-installed-bootstrapped-idris2-chez
path: ${{ env.IDRIS_PREFIX }}
Expand Down Expand Up @@ -469,9 +469,9 @@ jobs:
IDRIS2_CG: chez
steps:
- name: Checkout
uses: actions/checkout@v3
uses: actions/checkout@v4
- name: Download Idris2 Artifact
uses: actions/download-artifact@v3
uses: actions/download-artifact@v4
with:
name: ubuntu-installed-bootstrapped-idris2-chez
path: ~/.idris2/
Expand Down Expand Up @@ -510,7 +510,7 @@ jobs:
IDRIS2_CG: chez
steps:
- name: Download Idris2 Artifact
uses: actions/download-artifact@v3
uses: actions/download-artifact@v4
with:
name: idris2-nightly-chez
path: ~/.idris2/
Expand All @@ -521,7 +521,7 @@ jobs:
echo "$HOME/.idris2/bin" >> "$GITHUB_PATH"
chmod +x "$HOME/.idris2/bin/idris2" "$HOME/.idris2/bin/idris2_app/"*
- name: Checkout
uses: actions/checkout@v3
uses: actions/checkout@v4
with:
repository: 'ohad/collie'
- name: Build Collie
Expand All @@ -542,7 +542,7 @@ jobs:
IDRIS2_CG: chez
steps:
- name: Download Idris2 Artifact
uses: actions/download-artifact@v3
uses: actions/download-artifact@v4
with:
name: idris2-nightly-chez
path: ~/.idris2/
Expand All @@ -553,7 +553,7 @@ jobs:
echo "$HOME/.idris2/bin" >> "$GITHUB_PATH"
chmod +x "$HOME/.idris2/bin/idris2" "$HOME/.idris2/bin/idris2_app/"*
- name: Checkout
uses: actions/checkout@v3
uses: actions/checkout@v4
with:
repository: 'frex-project/idris-frex'
- name: Build Frex
Expand All @@ -577,7 +577,7 @@ jobs:
IDRIS2_CG: chez
steps:
- name: Download Idris2 Artifact
uses: actions/download-artifact@v3
uses: actions/download-artifact@v4
with:
name: idris2-nightly-chez
path: ~/.idris2/
Expand All @@ -588,7 +588,7 @@ jobs:
echo "$HOME/.idris2/bin" >> "$GITHUB_PATH"
chmod +x "$HOME/.idris2/bin/idris2" "$HOME/.idris2/bin/idris2_app/"*
- name: Checkout
uses: actions/checkout@v3
uses: actions/checkout@v4
with:
repository: 'stefan-hoeck/idris2-elab-util'
- name: Build idris2-elab-util
Expand All @@ -615,7 +615,7 @@ jobs:
container: ghcr.io/stefan-hoeck/idris2-pack:latest
steps:
- name: Checkout
uses: actions/checkout@v3
uses: actions/checkout@v4
with:
repository: 'stefan-hoeck/idris2-pack'
# by default, pack uses the main idris2 head, not the current job's one
Expand Down Expand Up @@ -658,7 +658,7 @@ jobs:
fail-fast: false
steps:
- name: Checkout
uses: actions/checkout@v3
uses: actions/checkout@v4
with:
repository: 'idris-community/idris2-lsp'
- name: Toml setup
Expand Down Expand Up @@ -705,7 +705,7 @@ jobs:
fi

- name: Download Idris2 Artifact
uses: actions/download-artifact@v3
uses: actions/download-artifact@v4
with:
name: idris2-nightly-chez
path: ~/.idris2/
Expand All @@ -716,26 +716,26 @@ jobs:
echo "$HOME/.idris2/bin" >> "$GITHUB_PATH"
chmod +x "$HOME/.idris2/bin/idris2" "$HOME/.idris2/bin/idris2_app/"*
- name: Checkout idris2
uses: actions/checkout@v3
uses: actions/checkout@v4
- name: Build API
run: make install-api
shell: bash
- name: Checkout collie
uses: actions/checkout@v3
uses: actions/checkout@v4
with:
repository: 'ohad/collie'
- name: Build and install Collie
run: |
make install
- name: Checkout idrall
uses: actions/checkout@v3
uses: actions/checkout@v4
with:
repository: 'alexhumphreys/idrall'
- name: Build and install idrall
run: |
make install
- name: Checkout katla
uses: actions/checkout@v3
uses: actions/checkout@v4
with:
repository: 'idris-community/katla'
- name: Build and install katla
Expand All @@ -745,7 +745,7 @@ jobs:
cp -r build/exec/* "${HOME}"/.local/bin/
echo "${HOME}/.local/bin" >> "$GITHUB_PATH"
- name: Checkout idris2
uses: actions/checkout@v3
uses: actions/checkout@v4
- name: Build html doc & landing page
run: |
make -C libs/prelude/ install docs IDRIS2=idris2
Expand Down
2 changes: 1 addition & 1 deletion .github/workflows/ci-lint.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -14,7 +14,7 @@ jobs:
runs-on: ubuntu-latest
steps:
- name: Checkout
uses: actions/checkout@v3
uses: actions/checkout@v4
- name: Lint the sources
run: python3 lint/lint.py
shell: bash
2 changes: 1 addition & 1 deletion .github/workflows/ci-sphinx.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -17,7 +17,7 @@ jobs:
steps:

- name: Checkout
uses: actions/checkout@v3
uses: actions/checkout@v4
- name: Build docs
run: |
sudo apt-get install -y python3-sphinx
Expand Down
2 changes: 1 addition & 1 deletion .github/workflows/ci-super-linter.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -39,7 +39,7 @@ jobs:
# Checkout the code base #
##########################
- name: Checkout Code
uses: actions/checkout@v3
uses: actions/checkout@v4
with:
# Full git history is needed to get a proper list of changed files within `super-linter`
fetch-depth: 0
Expand Down
Loading