Typecheck with latest Rzk

Merge pull request #153 from rzk-lang/cocart #730

Sign in to view logs

Triggered via push January 31, 2026 19:47

fizruk

main

Status Success

Total duration 57s

Artifacts –

rzk.yml

on: push

Check formalisations