Test Generated Zig

Bump etc/coq-scripts from `7b54b75` to `5876e80` (#1829) #3784

Sign in to view logs

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

Triggered via push March 14, 2024 19:13

JasonGross

master

Status Success

Total duration 3m 11s

Artifacts –

zig.yml

on: push