Test Generated Go

Update coq-debian.yml #5296

Sign in to view logs

Summary
Jobs
- test-go
Run details
- Usage
- Workflow file

Triggered via push April 17, 2024 05:12

JasonGross

JasonGross-patch-1

Status Success

Total duration 3h 59m 12s

Artifacts –

go.yml

on: push

Annotations

1 warning

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