Add CBMC formula

Add CBMC formula #2

Sign in to view logs

Triggered via schedule September 20, 2024 12:09

tautschnig

main

Status Failure

Total duration 33s

Artifacts –

add-formula.yml

on: schedule

create-formula-pr

Annotations

1 error

create-formula-pr

Process completed with exit code 2.