adapt to coq/coq#18563 #5168
andres-erbsenAnnotations
10 warnings
|
test-c
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: ammaraskar/gcc-problem-matcher@0.2.0. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test-c
Restore cache failed: Dependencies file is not found in /home/runner/work/fiat-crypto/fiat-crypto. Supported file pattern: go.sum
|
|
test-c
‘fiat_p256_divstep_precomp’ defined but not used [-Wunused-function]
|
|
test-c
‘fiat_p256_divstep’ defined but not used [-Wunused-function]
|
|
test-c
‘fiat_p256_msat’ defined but not used [-Wunused-function]
|
|
test-c
‘fiat_p256_set_one’ defined but not used [-Wunused-function]
|
|
test-c
‘fiat_p256_from_bytes’ defined but not used [-Wunused-function]
|
|
test-c
‘fiat_p256_to_bytes’ defined but not used [-Wunused-function]
|
|
test-c
‘fiat_p256_to_montgomery’ defined but not used [-Wunused-function]
|
|
test-c
‘fiat_25519_relax’ defined but not used [-Wunused-function]
|