Typecheck with latest Rzk

Merge pull request #137 from TashiWalde/left-anodyne #620

Sign in to view logs

Triggered via push November 17, 2023 20:00

emilyriehl

main

Status Success

Total duration 32s

Artifacts –

rzk.yml

on: push

Check formalisations