Skip to content

parse input policy file using cakeML instead of recompiling the whole… #375

parse input policy file using cakeML instead of recompiling the whole…

parse input policy file using cakeML instead of recompiling the whole… #375

Triggered via push December 28, 2025 21:34
Status Success
Total duration 19m 36s
Artifacts

build.yaml

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