Skip to content
Typecheck with latest Rzk

Functoriality properties of extension types #550

Sign in to view logs

Functoriality properties of extension types

Functoriality properties of extension types #550

Triggered via pull request October 23, 2023 10:39
@TashiWaldeTashiWalde
synchronize #130
TashiWalde:functoriality-extensions
Status Failure
Total duration 24s
Artifacts –

rzk.yml

on: pull_request
Check formalisations
13s
Check formalisations
Fit to window
Zoom out
Zoom in

Annotations

1 error
Check formalisations
Process completed with exit code 1.