Typecheck with latest Rzk

Merge pull request #119 from TashiWalde/section-retraction #483

Sign in to view logs

Triggered via push October 13, 2023 18:59

TashiWalde

main

Status Success

Total duration 36s

Artifacts –

rzk.yml

on: push

Check formalisations