Typecheck with latest Rzk

More functoriality of fibers #557

Sign in to view logs

Triggered via pull request October 23, 2023 16:18

TashiWalde

opened #134

TashiWalde:retract-of-is-equiv

Status Success

Total duration 42s

Artifacts –

rzk.yml

on: pull_request

Check formalisations