Skip to content
ci

Adding support for mutually inductive datatypes to well-formed constr… #267

Sign in to view logs

Adding support for mutually inductive datatypes to well-formed constr…

Adding support for mutually inductive datatypes to well-formed constr… #267

Triggered via push January 10, 2025 04:50
@JOSHCLUNEJOSHCLUNE
pushed 37a909c
duper2
Status Skipped
Total duration 3s
Artifacts –

build.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in