Skip to content
formal verification

fix publish workflow #980

Sign in to view logs

fix publish workflow

fix publish workflow #980

Triggered via push August 14, 2024 19:09
@0o-de-lally0o-de-lally
pushed ad3dd87
cli
Status Cancelled
Total duration 1m 3s
Artifacts –

formal.yaml

on: push
formal
53s
formal
Fit to window
Zoom out
Zoom in

Annotations

1 error
formal
The run was canceled by @0o-de-lally.