ci

update on inductive type translation #221

Sign in to view logs

Triggered via push December 12, 2024 23:38

main

Status Skipped

Total duration 2s

Artifacts –

build.yml

on: push

Matrix: build