Test Generated Go

bump bedrock2, use "always" in GarageDoor spec #5199

Sign in to view logs

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

Triggered via pull request April 2, 2024 18:18

opened #1846

andres-erbsen:coquinductive-always

Status Success

Total duration 44s

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