Skip to content
Test Generated Go

Bump etc/coq-scripts from 5876e80 to 857071d #5291

Sign in to view logs

Bump etc/coq-scripts from 5876e80 to 857071d

Bump etc/coq-scripts from 5876e80 to 857071d #5291

Triggered via pull request April 17, 2024 00:12
@JasonGrossJasonGross
synchronize #1873
dependabot/submodules/etc/coq-scripts-857071d
Status Success
Total duration 5h 6m 20s
Artifacts –

go.yml

on: pull_request
test-go
26s
test-go
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