Test Generated Go

adapt to coq/coq#18730 #5138

Sign in to view logs

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

Triggered via pull request February 29, 2024 22:21

opened #1826

andres-erbsen:zify-nat-by-default

Status Success

Total duration 37s

Artifacts –

go.yml

on: pull_request

Annotations

1 warning

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