Skip to content
Uclid CI

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

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 #713

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

test.yml

on: pull_request
test-ubuntu
2m 51s
test-ubuntu
test-macos
5m 44s
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.