Skip to content
Test Generated Go

Bump etc/coq-scripts from 2df5dbe to d3dc888 #4599

Sign in to view logs

Bump etc/coq-scripts from 2df5dbe to d3dc888

Bump etc/coq-scripts from 2df5dbe to d3dc888 #4599

Triggered via pull request November 7, 2023 17:51
@dependabotdependabot[bot]
synchronize #1701
dependabot/submodules/etc/coq-scripts-d3dc888
Status Success
Total duration 11m 31s
Artifacts –

go.yml

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