Skip to content
CBMC

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

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

Triggered via pull request June 6, 2024 04:10
@hanno-beckerhanno-becker
synchronize #49
pqcp_arm64_runner
Status Success
Total duration 4m 25s
Artifacts –

cbmc.yml

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