Typecheck with latest Rzk

Fibers between Segal types are Segal #537

Sign in to view logs

Triggered via pull request October 22, 2023 14:39

emilyriehl

synchronize #122

TashiWalde:fibers-between-segal

Status Success

Total duration 35s

Artifacts –

rzk.yml

on: pull_request

Check formalisations