Typecheck with latest Rzk

Total fibers are iterated fibers #552

Sign in to view logs

Triggered via pull request October 23, 2023 10:44

TashiWalde

synchronize #129

TashiWalde:fiber-products

Status Success

Total duration 40s

Artifacts –

rzk.yml

on: pull_request

Check formalisations