Skip to content
Build with Make

[WIP] Moving to stdpp #10

Sign in to view logs

[WIP] Moving to stdpp

[WIP] Moving to stdpp #10

Triggered via pull request November 19, 2025 14:14
@LysxiaLysxia
synchronize #267
stdpp
Status Failure
Total duration 3m 2s
Artifacts –

build-with-make.yml

on: pull_request
Matrix: build-with-make
Fit to window
Zoom out
Zoom in

Annotations

1 warning
build-with-make (coqorg/coq:8.20)
Failed to remove 'http.https://github.com/.extraheader' from the git config