ge-high-assurance / VERDICT

DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurity Threats (VERDICT)
https://ge-high-assurance.github.io/VERDICT
BSD 3-Clause "New" or "Revised" License
40 stars 14 forks source link

Bump ocaml/setup-ocaml from 2.1.8 to 2.2.0 #524

Closed dependabot[bot] closed 11 months ago

dependabot[bot] commented 11 months ago

Bumps ocaml/setup-ocaml from 2.1.8 to 2.2.0.

Release notes

Sourced from ocaml/setup-ocaml's releases.

v2.2.0

Breaking Change

This release contains a breaking change for ocaml/setup-ocaml/deploy-doc@2. (As it is still marked as experimental, it is not relevant to the major version bump.)

Since decent official support is now available to deploy natively to GitHub Pages, the action has been deprecated and removed.

For native support, make sure your repository has Pages enabled and configured to build using GitHub Actions: https://github.com/[USERNAME]/[REPO]/settings/pages

Actual example is as follows:

name: Deploy odoc to GitHub Pages

on: push: branches: - main

permissions: read-all

concurrency: group: deploy-odoc cancel-in-progress: true

jobs: deploy-odoc: name: Deploy odoc to GitHub Pages

environment:
  name: github-pages
  url: ${{ steps.deployment.outputs.page_url }}

permissions:
  contents: read
  id-token: write
  pages: write

runs-on: ubuntu-latest

steps:
  - name: Checkout tree
    uses: actions/checkout@v4

  - name: Set-up OCaml
    uses: ocaml/setup-ocaml@v2
    with:
      ocaml-compiler: "5.1"

  - name: Install dependencies

</tr></table>

... (truncated)

Changelog

Sourced from ocaml/setup-ocaml's changelog.

[2.2.0]

Added

  • Add opam support for the Dependency submission API.
  • Set HOMEBREW_NO_INSTALLED_DEPENDENTS_CHECK to 1 on the runner while installing OCaml.

Removed

  • Since decent official support is now available to deploy natively to GitHub Pages, deploy-doc has been deprecated and removed.
Commits
  • 1b3e92e Prepare v2.2.0
  • 3f244ea Set HOMEBREW_NO_INSTALLED_DEPENDENTS_CHECK to 1 on the runner while insta...
  • 7ac5a7d Merge pull request #738 from ocaml/dependabot/github_actions/github/codeql-ac...
  • f44f9d1 Bump github/codeql-action from 2.22.8 to 2.22.9
  • 420c920 Merge pull request #736 from ocaml/native-github-pages
  • 048ae4e Add an example for deploy odoc to GitHub Pages
  • 6f1473a Remove deploy-odoc
  • 08947a2 Clean-up docs for deploy-doc and lint-doc
  • 929e6e4 Remove the override settings for Prettier
  • ba8be9e Merge pull request #555 from ocaml/analysis
  • 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)