build

transformed merge into gen, incomplete proof #154

Sign in to view logs

Triggered via push April 13, 2025 20:06

dev_bdd

Status Success

Total duration 20m 25s

Artifacts –

build.yaml

on: push

Matrix: Build