Skip to content
Test Generated Zig

Adapt w.r.t. coq/coq#19228. #4092

Sign in to view logs

Adapt w.r.t. coq/coq#19228.

Adapt w.r.t. coq/coq#19228. #4092

Triggered via pull request July 28, 2024 21:11
@ppedrotppedrot
opened #1934
ppedrot:template-no-sup-constraints
Status Success
Total duration 3m 3s
Artifacts –

zig.yml

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