Typecheck with latest Rzk

Functoriality properties of extension types #525

Sign in to view logs

Triggered via pull request October 20, 2023 08:30

TashiWalde

synchronize #130

TashiWalde:functoriality-extensions

Status Success

Total duration 34s

Artifacts –

rzk.yml

on: pull_request

Check formalisations