Skip to content

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

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

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

Triggered via push September 6, 2023 12:47
Status Success
Total duration 7m 38s
Artifacts

ci.yml

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