Skip to content
CI

Grothendieck forgetful functor #37

Sign in to view logs

Grothendieck forgetful functor

Grothendieck forgetful functor #37

Triggered via pull request July 5, 2023 14:37
@stschaefstschaef
synchronize #37
stschaef:main
Status Failure
Total duration 11m 5s
Artifacts –

main.yml

on: pull_request
line-lengths
12s
line-lengths
compile-agda
10m 52s
compile-agda
Fit to window
Zoom out
Zoom in

Annotations

1 error
compile-agda
Process completed with exit code 2.