Skip to content
Typecheck with latest Rzk

Representable isos #631

Sign in to view logs

Representable isos

Representable isos #631

Triggered via pull request November 23, 2023 19:45
@emilyriehlemilyriehl
synchronize #141
representable-isos
Status Success
Total duration 33s
Artifacts –

rzk.yml

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