Skip to content

Commit

Permalink
[CI] Update workflows used in the update manifest action (#6094)
Browse files Browse the repository at this point in the history
Also, cache compiled packages.
  • Loading branch information
giordano authored Jan 17, 2023
1 parent 4751faf commit 851b155
Showing 1 changed file with 6 additions and 5 deletions.
11 changes: 6 additions & 5 deletions .github/workflows/update_manifest.yml
Original file line number Diff line number Diff line change
Expand Up @@ -14,14 +14,15 @@ jobs:
strategy:
fail-fast: false
steps:
- uses: actions/checkout@ec3a7ce113134d7a93b817d10a8272cb61118579 # v2.4.0
- uses: julia-actions/setup-julia@ee66464cb7897ffcc5322800f4b18d449794af30 # v1.6.1
- uses: actions/checkout@ac593985615ec2ede58e132d2e21d2b1cbd6127c # v3.3.0
- uses: julia-actions/setup-julia@b315a4d9881690c63d53fc0175b150a3776140bd # v1.9.0
with:
version: '1.7.1' # Use the version of Julia used on the build machine
version: '1.7.3' # Use the version of Julia used on the build machine
arch: x64
- uses: julia-actions/cache@745127cf80d5fa1a9953e0107e8ecd9b336022b7 # v1.1.0
- uses: julia-actions/cache@6bbc93575c5ecf24ce645aa411bd09194de38019 # v1.2.0
with:
cache-registries: "true"
cache-compiled: "true"
- name: Instantiate the manifest
shell: julia --project=.ci --color=yes {0}
run: |
Expand All @@ -33,7 +34,7 @@ jobs:
id: commit_message
- name: Show git status
run: git status
- uses: peter-evans/create-pull-request@052fc72b4198ba9fbc81b818c6e1859f747d49a8 # v3.8.2
- uses: peter-evans/create-pull-request@2b011faafdcbc9ceb11414d64d0573f37c774b04 # v4.2.3
with:
token: ${{ secrets.GITHUB_TOKEN }}
delete-branch: true
Expand Down

0 comments on commit 851b155

Please sign in to comment.