Skip to content
test and release CI

Progress on removing verify.py #174

Sign in to view logs

Progress on removing verify.py

Progress on removing verify.py #174

Annotations

2 errors

language-verification-c (native, gcc, --disable-asserts)

language-verification-c (native, gcc, --disable-asserts)
cancelled Dec 31, 2024 in 52s