Skip to content

Bump rewriter from 5e74224 to 5d274d2 #4672

Bump rewriter from 5e74224 to 5d274d2

Bump rewriter from 5e74224 to 5d274d2 #4672

Triggered via pull request November 8, 2023 07:03
Status Success
Total duration 1h 53m 8s
Artifacts

c.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

9 warnings
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]