Skip to content
Main workflow

Merge branch 'topic/779-dross-exit_cases' into 'master' #123

Sign in to view logs

Merge branch 'topic/779-dross-exit_cases' into 'master'

Merge branch 'topic/779-dross-exit_cases' into 'master' #123

Triggered via push December 18, 2024 09:26
@adacore-botadacore-bot
pushed 70ed0a8
master
Status Startup failure
Total duration –
Artifacts –

This workflow graph cannot be shown

A graph will be generated the next time this workflow is run.

Annotations

1 error
Error
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.