Skip to content

Update Manifest

Update Manifest #81

name: Update Manifest
on:
workflow_dispatch:
# Do not use PkgServer to make sure we have the latest registry
env:
JULIA_PKG_SERVER: ""
jobs:
update_manifest:
runs-on: ubuntu-latest
timeout-minutes: 10
strategy:
fail-fast: false
steps:
- uses: actions/checkout@ac593985615ec2ede58e132d2e21d2b1cbd6127c # v3.3.0
- uses: julia-actions/setup-julia@b315a4d9881690c63d53fc0175b150a3776140bd # v1.9.0
with:
version: '1.7.3' # Use the version of Julia used on the build machine
arch: x64
- 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: |
using Pkg
Pkg.instantiate()
Pkg.precompile()
- name: Generate commit message
run: julia --project=.ci --color=yes .ci/update_manifest.jl
id: commit_message
- name: Show git status
run: git status
- uses: peter-evans/create-pull-request@2b011faafdcbc9ceb11414d64d0573f37c774b04 # v4.2.3
with:
token: ${{ secrets.GITHUB_TOKEN }}
delete-branch: true
branch: 'gha/update-manifest'
commit-message: ${{ env.commit_message }}
title: ${{ env.commit_title }}
body: ${{ env.commit_body }}
labels: |
meta :deciduous_tree: