Skip to content
Test Generated Zig

adapt to coq/coq#18730 #3776

Sign in to view logs

adapt to coq/coq#18730

adapt to coq/coq#18730 #3776

Triggered via pull request February 29, 2024 22:21
@andres-erbsenandres-erbsen
opened #1826
andres-erbsen:zify-nat-by-default
Status Success
Total duration 3m 6s
Artifacts –

zig.yml

on: pull_request
test-zig
2m 53s
test-zig
Fit to window
Zoom out
Zoom in