Skip to content
CI

fix k framework install #10

Sign in to view logs

fix k framework install

fix k framework install #10

Triggered via push November 15, 2024 20:01
@aazhou1aazhou1
pushed a2a6873
ci
Status Failure
Total duration 2m 39s
Artifacts –

ci.yaml

on: push
foundry-test
1m 32s
foundry-test
formal-verification
52s
formal-verification
Fit to window
Zoom out
Zoom in

Annotations

1 error
formal-verification
Process completed with exit code 1.