Use spec from hydra-formal-specification (#1548) #3785

Sign in to view logs

Triggered via push August 7, 2024 06:40

ch1bo

master

Status Success

Total duration 28s

Artifacts –

check-tutorial.yaml

on: push