fix k framework install with github token #13
aazhou1ci.yaml
on: push
foundry-test
1m 0s
formal-verification
1m 13s
Annotations
1 error
|
formal-verification
Process completed with exit code 1.
|