Skip to content

Adapt to coq/coq#17836 (sort poly) (update rupicola) #4556

Adapt to coq/coq#17836 (sort poly) (update rupicola)

Adapt to coq/coq#17836 (sort poly) (update rupicola) #4556

Triggered via pull request September 18, 2023 11:15
Status Success
Total duration 13m 28s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

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]