Typecheck with latest Rzk

Functoriality properties of extension types #522

Sign in to view logs

Triggered via pull request October 19, 2023 19:26

TashiWalde

opened #130

TashiWalde:functoriality-extensions

Status Success

Total duration 38s

Artifacts –

rzk.yml

on: pull_request

Check formalisations