Skip to content

Bump coqprime from 431d7a6 to ae85b57 #4495

Bump coqprime from 431d7a6 to ae85b57

Bump coqprime from 431d7a6 to ae85b57 #4495

Triggered via push September 11, 2023 16:59
Status Success
Total duration 42s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

go.yml

on: push
Fit to window
Zoom out
Zoom in

Annotations

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