Fix GHA stuff (#563) #29

	# 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"

Provide feedback