Merge branch 'mr/pmderodat/master' into 'master' #862
Annotations
1 error
Set up job
Bad request - engineerd/[email protected] is not allowed to be used in AdaCore/libadalang. 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.
|
Loading