Typecheck with latest Rzk

Merge pull request #113 from rzk-lang/htpy-coherence #585

Sign in to view logs

Triggered via push October 27, 2023 17:04

emilyriehl

main

Status Success

Total duration 36s

Artifacts –

rzk.yml

on: push

Check formalisations