Typecheck with latest Rzk

Merge pull request #132 from rzk-lang/all-elements-equal-subtype #589

Sign in to view logs

Triggered via push October 27, 2023 17:09

emilyriehl

main

Status Success

Total duration 55s

Artifacts –

rzk.yml

on: push

Check formalisations