Skip to content
CBMC

Split workflows for basic build+test and CBMC, add pqcp-arm64 runner #1

Sign in to view logs

Split workflows for basic build+test and CBMC, add pqcp-arm64 runner

Split workflows for basic build+test and CBMC, add pqcp-arm64 runner #1

Triggered via push June 6, 2024 03:57
@hanno-beckerhanno-becker
pushed 4c2f1e2
pqcp_arm64_runner
Status Success
Total duration 4m 19s
Artifacts –

cbmc.yml

on: push
cbmc
4m 10s
cbmc
Fit to window
Zoom out
Zoom in