Skip to content
Test Generated Zig

Adapt to coq/coq#17836 (sort poly) (update rupicola) #3186

Sign in to view logs

Adapt to coq/coq#17836 (sort poly) (update rupicola)

Adapt to coq/coq#17836 (sort poly) (update rupicola) #3186

Triggered via pull request October 20, 2023 12:58
@SkySkimmerSkySkimmer
synchronize #1662
SkySkimmer:sort-poly
Status Success
Total duration 1m 11s
Artifacts –

zig.yml

on: pull_request
test-zig
55s
test-zig
Fit to window
Zoom out
Zoom in