-
Notifications
You must be signed in to change notification settings - Fork 101
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Call
Pkg.resolve()
before hashing Manifest (#519)
* Update Manifest * Call resolve() in preview/publish workflows Closes #518 * Add GHA workflow to resolve Manifest file * Prefix cache path with `./` cf. actions/cache#1361
- Loading branch information
1 parent
3143ffb
commit 71a7a60
Showing
4 changed files
with
58 additions
and
8 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,48 @@ | ||
# This action runs Pkg.instantiate() and Pkg.resolve() every time the master | ||
# branch is pushed to. If this leads to a change in the Manifest.toml file, it | ||
# will open a PR to update the Manifest.toml file. This ensures that the | ||
# contents of the Manifest in the repository are consistent with the contents | ||
# of the Manifest used by the CI system (i.e. during the actual docs | ||
# generation). | ||
# | ||
# See https://github.com/TuringLang/docs/issues/518 for motivation. | ||
|
||
name: Resolve Manifest | ||
on: | ||
push: | ||
branches: | ||
- master | ||
workflow_dispatch: | ||
|
||
jobs: | ||
check-version: | ||
runs-on: ubuntu-latest | ||
|
||
permissions: | ||
contents: write | ||
pull-requests: write | ||
|
||
env: | ||
# Disable precompilation as it takes a long time and is not needed for this workflow | ||
JULIA_PKG_PRECOMPILE_AUTO: 0 | ||
|
||
steps: | ||
- name: Checkout | ||
uses: actions/checkout@v4 | ||
|
||
- name: Setup Julia | ||
uses: julia-actions/setup-julia@v2 | ||
|
||
- name: Instantiate and resolve | ||
run: | | ||
julia -e 'using Pkg; Pkg.instantiate(); Pkg.resolve()' | ||
- name: Open PR | ||
id: create_pr | ||
uses: peter-evans/create-pull-request@v6 | ||
with: | ||
branch: resolve-manifest | ||
add-paths: Manifest.toml | ||
commit-message: "Update Manifest.toml" | ||
body: "This PR is automatically generated by the `resolve_manifest.yml` GitHub Action." | ||
title: "Update Manifest.toml to match CI environment" |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters