Skip to content
Check Specs & Metadata

Update CI.yml #778

Sign in to view logs

Update CI.yml

Update CI.yml #778

Triggered via pull request February 27, 2025 18:40
@muenchnerkindlmuenchnerkindl
synchronize #160
fewer-skipped-proofs
Status Failure
Total duration 39m 13s
Artifacts –

CI.yml

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

Annotations

2 errors
Validate Manifest, Specs, & Models (ubuntu-latest, false)
Process completed with exit code 1.
Validate Manifest, Specs, & Models (macos-latest, false)
Process completed with exit code 1.