Skip to content
Flake build

Coq8.18 - FiniteType with multiple arguments #11

Sign in to view logs

Coq8.18 - FiniteType with multiple arguments

Coq8.18 - FiniteType with multiple arguments #11

Triggered via pull request June 26, 2024 11:16
@maxkurze1maxkurze1
opened #2
maxkurze1:coq8.18
Status Failure
Total duration 3m 48s
Artifacts –

flake-build.yml

on: pull_request
build
3m 39s
build
Fit to window
Zoom out
Zoom in

Annotations

1 warning
build
Failed to remove 'http.https://github.com/.extraheader' from the git config