Skip to content
build

changed the names of the files that compiles the input with cakeML #378

Sign in to view logs

changed the names of the files that compiles the input with cakeML

changed the names of the files that compiles the input with cakeML #378

Triggered via push December 28, 2025 23:20
@AnoudAlshnakatAnoudAlshnakat
pushed a31b618
dev_bdd_copy
Status Success
Total duration 18m 47s
Artifacts –

build.yaml

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