Skip to content
check properties

Increase bit-widths of assertion modules #27

Sign in to view logs

Increase bit-widths of assertion modules

Increase bit-widths of assertion modules #27

Triggered via push March 4, 2025 14:07
@PeterRuggPeterRugg
pushed 90c5a79
zcheri_sail_jan_2025
Status Failure
Total duration 52s
Artifacts –

check-prop.yml

on: push
tests
42s

Annotations

1 error
tests
Process completed with exit code 2.