Skip to content

Prevent use of specific messages as sequence element #3624

Prevent use of specific messages as sequence element

Prevent use of specific messages as sequence element #3624

Triggered via push January 29, 2024 15:49
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
fkirc/[email protected] is not allowed to be used in AdaCore/RecordFlux. 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.