Skip to content
Test Generated Zig

Adapt to https://github.com/coq/coq/pull/18590 (#1821) #3772

Sign in to view logs

Adapt to https://github.com/coq/coq/pull/18590 (#1821)

Adapt to https://github.com/coq/coq/pull/18590 (#1821) #3772

Triggered via push February 19, 2024 03:02
@JasonGrossJasonGross
pushed 8c2ee91
master
Status Success
Total duration 3m 3s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

zig.yml

on: push
test-zig
2m 52s
test-zig
Fit to window
Zoom out
Zoom in