Skip to content
Syntactic checks

ebmc: liveness to safety translation #109

Sign in to view logs

ebmc: liveness to safety translation

ebmc: liveness to safety translation #109

Triggered via pull request December 8, 2023 19:59
@kroeningkroening
synchronize #116
liveness-to-safety
Status Failure
Total duration 1m 29s
Artifacts –

syntax-checks.yaml

on: pull_request
check-clang-format
1m 21s
check-clang-format
Fit to window
Zoom out
Zoom in

Annotations

1 error
check-clang-format
Process completed with exit code 1.