Skip to content
Typecheck with latest Rzk

Representable isos #645

Sign in to view logs

Representable isos

Representable isos #645

Triggered via pull request December 15, 2023 00:40
@emilyriehlemilyriehl
synchronize #141
representable-isos
Status Failure
Total duration 30s
Artifacts –

rzk.yml

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

Annotations

1 error
Check formalisations
Process completed with exit code 1.