Add workflow to stop this from happening again

Author: penelopeysm

.github/workflows/resolve_manifest.yml

@@ -1,8 +1,9 @@
-# This action periodically runs Pkg.instantiate() and Pkg.resolve() on the
-# top-level environment. 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
-# version of the Manifest in the repository is consistent with the version of the
-# Manifest used by the CI system (i.e. during the actual docs generation).
+# 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.
 
@@ -36,11 +37,12 @@ jobs:
         run: |
           julia -e 'using Pkg; Pkg.instantiate(); Pkg.resolve()'
 
-      - name: Create a PR with suggested changes
+      - 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"