Skip to content
format-check

Fix strategy synthesis with implicit sink state #116

Sign in to view logs

Fix strategy synthesis with implicit sink state

Fix strategy synthesis with implicit sink state #116

Triggered via push January 21, 2025 15:59
@ZinoexZinoex
pushed 5833bca
v0.4.3
Status Failure
Total duration 51s
Artifacts –

FormatCheck.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

1 error and 1 warning
build (1.10.0, x86, ubuntu-latest)
Process completed with exit code 1.
build (1.10.0, x86, ubuntu-latest)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636