Skip to content
Check Specs & Metadata

Manifest: added proof runtimes #954

Sign in to view logs

Manifest: added proof runtimes

Manifest: added proof runtimes #954

Triggered via pull request August 21, 2025 20:55
@ahelwerahelwer
opened #187
ahelwer:proof-runtime
Status Cancelled
Total duration 5m 23s
Artifacts –

CI.yml

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

Annotations

13 errors and 6 notices
Validate Manifest, Specs, & Models (windows-latest, true)
The operation was canceled.
Validate Manifest, Specs, & Models (windows-latest, true)
Canceling since a higher priority waiting request for Check Specs & Metadata-187 exists
Validate Manifest, Specs, & Models (ubuntu-latest, true)
The operation was canceled.
Validate Manifest, Specs, & Models (ubuntu-latest, true)
Canceling since a higher priority waiting request for Check Specs & Metadata-187 exists
Validate Manifest, Specs, & Models (ubuntu-latest, false)
The operation was canceled.
Validate Manifest, Specs, & Models (ubuntu-latest, false)
Canceling since a higher priority waiting request for Check Specs & Metadata-187 exists
Validate Manifest, Specs, & Models (macos-latest, true)
The operation was canceled.
Validate Manifest, Specs, & Models (macos-latest, true)
Canceling since a higher priority waiting request for Check Specs & Metadata-187 exists
Validate Manifest, Specs, & Models (macos-latest, false)
The operation was canceled.
Validate Manifest, Specs, & Models (macos-latest, false)
Canceling since a higher priority waiting request for Check Specs & Metadata-187 exists
Check Specs & Metadata
Canceling since a higher priority waiting request for Check Specs & Metadata-187 exists
Validate Manifest, Specs, & Models (windows-latest, false)
The operation was canceled.
Validate Manifest, Specs, & Models (windows-latest, false)
Canceling since a higher priority waiting request for Check Specs & Metadata-187 exists
Validate Manifest, Specs, & Models (windows-latest, true)
The windows-latest label will migrate from Windows Server 2022 to Windows Server 2025 beginning September 2, 2025. For more information see https://github.com/actions/runner-images/issues/12677
Validate Manifest, Specs, & Models (macos-latest, true)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
Validate Manifest, Specs, & Models (macos-latest, true)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
Validate Manifest, Specs, & Models (macos-latest, false)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
Validate Manifest, Specs, & Models (macos-latest, false)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
Validate Manifest, Specs, & Models (windows-latest, false)
The windows-latest label will migrate from Windows Server 2022 to Windows Server 2025 beginning September 2, 2025. For more information see https://github.com/actions/runner-images/issues/12677