Skip to content
Docker CI

Tutorial Equations: Indexed Inductive Types #72

Sign in to view logs

Tutorial Equations: Indexed Inductive Types

Tutorial Equations: Indexed Inductive Types #72

Triggered via pull request October 7, 2024 19:25
@thomas-lamiauxthomas-lamiaux
synchronize #9
tuto-equations-indexed
Status Failure
Total duration 2m 44s
Artifacts –

docker-action.yml

on: pull_request
build
2m 33s
deploy
0s

Annotations

1 error and 1 warning
build
Scope type is not declared.
build
Failed to remove 'http.https://github.com/.extraheader' from the git config