Check Specs & Metadata

Discard PlusCal translations in CI #510

Sign in to view logs

Triggered via pull request July 1, 2024 17:33

ahelwer

opened #146

ahelwer:pcal-ci-update

Status Success

Total duration 13m 35s

Artifacts –

CI.yml

on: pull_request

Matrix: Validate Manifest, Specs, & Models