Skip to content
Check Specs & Metadata

Test PlusCal translation in CI #444

Sign in to view logs

Test PlusCal translation in CI

Test PlusCal translation in CI #444

Triggered via pull request April 10, 2024 23:48
@ahelwerahelwer
synchronize #136
ahelwer:pcal-test
Status Success
Total duration 12m 53s
Artifacts –

CI.yml

on: pull_request
Matrix: Validate Manifest, Specs, & Models
Fit to window
Zoom out
Zoom in