Skip to content
Uclid CI

Checks for multiple init and next blocks and throws a parser error if encountered #712

Sign in to view logs

Checks for multiple init and next blocks and throws a parser error if encountered

Checks for multiple init and next blocks and throws a parser error if encountered #712

Triggered via pull request July 8, 2025 14:30
@polgreenpolgreen
synchronize #262
multiple_blocks
Status Failure
Total duration 5m 2s
Artifacts –

test.yml

on: pull_request
test-ubuntu
2m 46s
test-ubuntu
test-macos
4m 59s
test-macos
Fit to window
Zoom out
Zoom in

Annotations

3 errors
test-ubuntu
Process completed with exit code 1.
test-ubuntu
scala.Predef$ArrayCharSequence
test-macos
Process completed with exit code 1.