CI: better report to slack #27
Annotations
3 errors
build (ubuntu-latest, 4.08.0)
Unable to resolve action `imandra-ai/imandra-build-config`, repository not found
|
build (ubuntu-latest, 5.0.0)
The job was canceled because "ubuntu-latest_4_08_0" failed.
|
build (ubuntu-latest, 5.0.0)
Unable to resolve action `imandra-ai/imandra-build-config`, repository not found
|