Skip to content

CI: faster

CI: faster #28

Triggered via push January 4, 2024 21:13
Status Failure
Total duration 11s
Artifacts

main.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

3 errors
build (ubuntu-latest, 5.0.0)
Unable to resolve action `imandra-ai/imandra-build-config`, repository not found
build (ubuntu-latest, 4.08.0)
The job was canceled because "ubuntu-latest_5_0_0" failed.
build (ubuntu-latest, 4.08.0)
Unable to resolve action `imandra-ai/imandra-build-config`, repository not found