Skip to content
Test Generated Go

Adapt to https://github.com/coq/coq/pull/19530 #5546

Sign in to view logs

Adapt to https://github.com/coq/coq/pull/19530

Adapt to https://github.com/coq/coq/pull/19530 #5546

Triggered via pull request September 17, 2024 15:21
@proux01proux01
synchronize #1957
proux01:stdlib_repo
Status Success
Total duration 48s
Artifacts –

go.yml

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