Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting @dependabot rebase.
Dependabot commands and options
You can trigger Dependabot actions by commenting on this PR:
- `@dependabot rebase` will rebase this PR
- `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it
- `@dependabot merge` will merge this PR after your CI passes on it
- `@dependabot squash and merge` will squash and merge this PR after your CI passes on it
- `@dependabot cancel merge` will cancel a previously requested merge and block automerging
- `@dependabot reopen` will reopen this PR if it is closed
- `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually
- `@dependabot show ignore conditions` will show all of the ignore conditions of the specified dependency
- `@dependabot ignore major version` will close this group update PR and stop Dependabot creating any more for the specific dependency's major version (unless you unignore this specific dependency's major version or upgrade to it yourself)
- `@dependabot ignore minor version` will close this group update PR and stop Dependabot creating any more for the specific dependency's minor version (unless you unignore this specific dependency's minor version or upgrade to it yourself)
- `@dependabot ignore ` will close this group update PR and stop Dependabot creating any more for the specific dependency (unless you unignore this specific dependency or upgrade to it yourself)
- `@dependabot unignore ` will remove all of the ignore conditions of the specified dependency
- `@dependabot unignore ` will remove the ignore condition of the specified dependency and ignore conditions
Bumps the github-actions group with 3 updates: JamesIves/github-pages-deploy-action, actions/upload-artifact and avsm/setup-ocaml.
Updates
JamesIves/github-pages-deploy-action
from 4.6.1 to 4.6.3Release notes
Sourced from JamesIves/github-pages-deploy-action's releases.
Commits
94f3c65
Merge branch 'dev' into releases/v41b7e169
fix: consolidate version bumpse4798a3
Update publish.ymlf2bee1e
Update publish.yml1728c39
fix: auto publish on tag creation36425ac
chore: remove old codeql script and replace with repo settings630bbaf
Deploy Production Code for Commit 386cc3095c7e96b3cd8048f3860bcf4ea0ee8069 🚀386cc30
Merge branch 'dev' into releases/v4b8c9eb0
feat: :sparkles: adds pull request labeler0d5c3cd
chore: remove old templateUpdates
actions/upload-artifact
from 4.3.3 to 4.3.4Release notes
Sourced from actions/upload-artifact's releases.
Commits
0b2256b
Merge pull request #584 from actions/robherley/bump-pkgs488dcef
licensed cache04c51f5
ncc32a9e27
bump@​actions/artifact
and npm audit552bf37
new version79616d2
Merge pull request #565 from actions/eggyhead/use-artifact-v2.1.6Updates
avsm/setup-ocaml
from 2.2.10 to 3.0.0Release notes
Sourced from avsm/setup-ocaml's releases.
Changelog
Sourced from avsm/setup-ocaml's changelog.
... (truncated)
Commits
aab8e20
Prepare 3.0.0bbdb0fb
Prepare 3.0.0-beta10a1157c
Merge pull request #820 from ocaml/fix-opam-selector672583e
Fix asset selector to select the correct opam release asset15003b1
Update .github/workflows/workflow.ymla75f4ba
Update typescript to 5.5.3076fb65
Update npm deps513ca4e
Merge pull request #819 from ocaml/dependabot/github_actions/github/codeql-ac...d87de45
Bump github/codeql-action from 3.25.10 to 3.25.1192dde8c
Prepare 3.0.0-betaDependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting
@dependabot rebase
.Dependabot commands and options
You can trigger Dependabot actions by commenting on this PR: - `@dependabot rebase` will rebase this PR - `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it - `@dependabot merge` will merge this PR after your CI passes on it - `@dependabot squash and merge` will squash and merge this PR after your CI passes on it - `@dependabot cancel merge` will cancel a previously requested merge and block automerging - `@dependabot reopen` will reopen this PR if it is closed - `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually - `@dependabot show