reorganized things #4333
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
Annotations
2 errors and 1 warning
test-go
malformed module path "fiat-go/32/secp256k1dettmanadk/secp256k1dettmanadk.go": missing dot in first path element
|
test-go
Process completed with exit code 2.
|
test-go
Restore cache failed: Dependencies file is not found in /home/runner/work/fiat-crypto/fiat-crypto. Supported file pattern: go.sum
|