Skip to content

Merge branch 'master' of https://github.com/rems-project/cerberus #13

Merge branch 'master' of https://github.com/rems-project/cerberus

Merge branch 'master' of https://github.com/rems-project/cerberus #13

Triggered via push July 5, 2023 19:54
Status Cancelled
Total duration 51m 52s
Artifacts

ci.yml

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

Annotations

4 errors
build (4.12.0)
The run was canceled by @kmemarian.
build (4.12.0)
The operation was canceled.
build (4.14.1)
The run was canceled by @kmemarian.
build (4.14.1)
The operation was canceled.