Make various IRs parametric in a variable type #30
build.yml
on: push
build-test
6m 36s
check-proofs
6m 50s
Annotations
1 error and 1 warning
|
build-test
Process completed with exit code 101.
|
|
check-proofs
Cache save failed.
|