Test Generated Zig

adapt to coq/coq#18563 #3752

# to view logs

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

Triggered via pull request January 30, 2024 20:24

synchronize #1814

andres-erbsen:more-nth_error

Status Success

Total duration 46s

Artifacts –

zig.yml

on: pull_request