Check with latest Rzk

Add is-set-prod (2.6.2 and 3.1.5) #118

Sign in to view logs

Triggered via push December 13, 2023 11:29

eyihluyc

3.1-sets-and-n-types

Status Success

Total duration 14s

Artifacts –

rzk.yml

on: push

Check formalisations