mit-plv / fiat-crypto

Cryptographic Primitive Code Generation by Fiat
http://adam.chlipala.net/papers/FiatCryptoSP19/FiatCryptoSP19.pdf
Other
717 stars 147 forks source link

Bump JamesIves/github-pages-deploy-action from 4.6.1 to 4.6.3 #1927

Closed dependabot[bot] closed 4 months ago

dependabot[bot] commented 4 months ago

Bumps JamesIves/github-pages-deploy-action from 4.6.1 to 4.6.3.

Release notes

Sourced from JamesIves/github-pages-deploy-action's releases.

v4.6.3

What's Changed

Build 🔧

  • Consolidated a number of build scripts to make publishing easier.

Full Changelog: https://github.com/JamesIves/github-pages-deploy-action/compare/v4...v4.6.3

v4.6.2

What's Changed

Dependencies 🤖

Full Changelog: https://github.com/JamesIves/github-pages-deploy-action/compare/v4.6.1...v4.6.2

Commits
  • 94f3c65 Merge branch 'dev' into releases/v4
  • 1b7e169 fix: consolidate version bumps
  • e4798a3 Update publish.yml
  • f2bee1e Update publish.yml
  • 1728c39 fix: auto publish on tag creation
  • 36425ac chore: remove old codeql script and replace with repo settings
  • 630bbaf Deploy Production Code for Commit 386cc3095c7e96b3cd8048f3860bcf4ea0ee8069 🚀
  • 386cc30 Merge branch 'dev' into releases/v4
  • b8c9eb0 feat: :sparkles: adds pull request labeler
  • 0d5c3cd chore: remove old template
  • Additional commits viewable in compare view


Dependabot compatibility score

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 this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself) - `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself) - `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)