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