Skip to content
Open
Show file tree
Hide file tree
Changes from all commits
Commits
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
10 changes: 5 additions & 5 deletions .github/workflows/ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -24,7 +24,7 @@ jobs:

# Checkout Silicon (note: all checkouts delete the contents of their working directory)
- name: Checkout Silicon
uses: actions/checkout@v4
uses: actions/checkout@v6
with:
submodules: true

Expand All @@ -45,7 +45,7 @@ jobs:
# Cache path is relative to the directory in which sbt is invoked
run: echo "SBT_OPTS=-Dsbt.global.base=sbt-cache/.sbtboot -Dsbt.boot.directory=sbt-cache/.boot -Dsbt.ivy.home=sbt-cache/.ivy" >> $GITHUB_ENV
- name: Cache sbt
uses: actions/cache@v4
uses: actions/cache@v5
with:
path: |
sbt-cache/.sbtboot
Expand All @@ -68,7 +68,7 @@ jobs:
cp target/scala-2.13/silicon.jar .

- name: Upload artifact
uses: actions/upload-artifact@v4
uses: actions/upload-artifact@v6
with:
name: test-and-assemble
path: |
Expand All @@ -85,12 +85,12 @@ jobs:
steps:
# Checkout Silicon (deletes content of working directory)
- name: Checkout Silicon
uses: actions/checkout@v4
uses: actions/checkout@v6
with:
submodules: true

- name: Download artifacts from job test-and-assemble
uses: actions/download-artifact@v4
uses: actions/download-artifact@v7
with:
name: test-and-assemble

Expand Down
4 changes: 2 additions & 2 deletions .github/workflows/update-submodules.yml
Original file line number Diff line number Diff line change
Expand Up @@ -17,7 +17,7 @@ jobs:
runs-on: ubuntu-latest
steps:
- name: Check out the repo
uses: actions/checkout@v4
uses: actions/checkout@v6
with:
submodules: true

Expand All @@ -41,7 +41,7 @@ jobs:

- name: Open a pull request
id: pr
uses: peter-evans/create-pull-request@v7
uses: peter-evans/create-pull-request@v8
if: (env.PREV_SILVER_REF != env.CUR_SILVER_REF)
with:
# Use viper-admin's token to workaround a restriction of GitHub.
Expand Down