Test Generated C

Bump coqprime from `f611fa4` to `d5935ca` #4595

Sign in to view logs

Summary
Jobs
- test-c
Run details
- Usage
- Workflow file

Annotations

3 errors and 1 warning

‘fiat_p256_adx_mul’ was not declared in this scope; did you mean ‘fiat_p256_mul’?

‘fiat_p256_adx_sqr’ was not declared in this scope; did you mean ‘fiat_p256_add’?

Process completed with exit code 1.

Restore cache failed: Dependencies file is not found in /home/runner/work/fiat-crypto/fiat-crypto. Supported file pattern: go.sum

The logs for this run have expired and are no longer available.