Skip to content
Add CBMC formula

Add CBMC formula #3

Sign in to view logs

Add CBMC formula

Add CBMC formula #3

Manually triggered September 20, 2024 15:25
@tautschnigtautschnig
⁠ 08fae9f
main
Status Failure
Total duration 1m 44s
Artifacts –

add-formula.yml

on: workflow_dispatch
create-formula-pr
1m 31s
create-formula-pr
Fit to window
Zoom out
Zoom in

Annotations

1 error and 2 warnings
create-formula-pr
⚠️ GitHub Releases requires a tag
create-formula-pr
Bottle for tag :arm64_monterey is unavailable.
create-formula-pr
Bottle for tag :monterey is unavailable.