Skip to content
Typecheck with latest Rzk

Fibers between Segal types are Segal #502

Sign in to view logs

Fibers between Segal types are Segal

Fibers between Segal types are Segal #502

Triggered via pull request October 14, 2023 19:20
@TashiWaldeTashiWalde
synchronize #122
TashiWalde:fibers-between-segal
Status Success
Total duration 32s
Artifacts –

rzk.yml

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