fix scripts after rebase #39
colll78Annotations
4 warnings
|
build
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
build
The import of ‘psndBuiltin’
|
|
build
This binding for ‘totalProgTokenValue’ shadows the existing binding
|
|
build
A do-notation statement discarded a result of type ‘Term s PUnit’
|