ocaml/setup-ocaml@v2 is not allowed to be used in AdaCore/why3. Actions in this workflow must be: within a repository owned by AdaCore, created by GitHub, or matching the following: alire-project/setup-alire@v2, codecov/codecov-action@v2, codecov/codecov-action@v3, ada-actions/toolchain@*, codecov/codecov-action@v1, msys2/setup-msys2@v2, pre-commit/[email protected], alire-project/setup-alire@v1, actions/cache@v3, actions/checkout@v3, pypa/gh-action-pypi-publish@release/v1, alire-project/setup-alire@v3.