Skip to content
ci

Selector support for mutually recursive inductive datatypes #162

Sign in to view logs

Selector support for mutually recursive inductive datatypes

Selector support for mutually recursive inductive datatypes #162

Triggered via push August 13, 2024 19:34
@JOSHCLUNEJOSHCLUNE
pushed 6a8c8ff
duper2
Status Skipped
Total duration 2s
Artifacts –

build.yml

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