Check Specs & Metadata

Find solution to Einstein's riddle with Apalache (#113) #298

Sign in to view logs

Triggered via push January 29, 2024 23:24

ahelwer

master

Status Success

Total duration 22m 39s

Artifacts –

CI.yml

on: push

Matrix: Validate Manifest, Specs, & Models