Skip to content
CBMC

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

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 #2

Triggered via pull request June 6, 2024 03:57
@hanno-beckerhanno-becker
opened #49
pqcp_arm64_runner
Status Success
Total duration 4m 42s
Artifacts –

cbmc.yml

on: pull_request
cbmc
4m 33s
cbmc
Fit to window
Zoom out
Zoom in