Skip to content
Check Specs & Metadata

Test PlusCal translation in CI #438

Sign in to view logs

Test PlusCal translation in CI

Test PlusCal translation in CI #438

Triggered via pull request April 10, 2024 21:00
@ahelwerahelwer
opened #136
ahelwer:pcal-test
Status Cancelled
Total duration 4m 23s
Artifacts –

CI.yml

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

Annotations

6 errors
Validate Manifest, Specs, & Models (ubuntu-latest, false)
Process completed with exit code 2.
Validate Manifest, Specs, & Models (windows-latest, false)
Process completed with exit code 2.
Validate Manifest, Specs, & Models (windows-latest, true)
The run was canceled by @ahelwer.
Validate Manifest, Specs, & Models (windows-latest, true)
The operation was canceled.
Validate Manifest, Specs, & Models (ubuntu-latest, true)
The run was canceled by @ahelwer.
Validate Manifest, Specs, & Models (ubuntu-latest, true)
The operation was canceled.