Add DynamicPPL doc to here (#528) #7
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 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" |