Skip to content
PR

Merge remote-tracking branch 'origin/main' into matthias/sync-upstream #32

Sign in to view logs

Merge remote-tracking branch 'origin/main' into matthias/sync-upstream

Merge remote-tracking branch 'origin/main' into matthias/sync-upstream #32

Triggered via push May 20, 2024 05:54
@matthiasgoergensmatthiasgoergens
pushed e25143f
main
Status Cancelled
Total duration 4m 35s
Artifacts –

pr.yml

on: push
Test (x86-64)
0s
Test (x86-64)
Test (ARM)
0s
Test (ARM)
Formatting & Clippy
0s
Formatting & Clippy
Examples
0s
Examples
CLI
0s
CLI
Fit to window
Zoom out
Zoom in

Annotations

5 errors
Test (x86-64)
Canceling since a higher priority waiting request for 'PR-refs/heads/main' exists
Formatting & Clippy
Canceling since a higher priority waiting request for 'PR-refs/heads/main' exists
CLI
Canceling since a higher priority waiting request for 'PR-refs/heads/main' exists
Test (ARM)
Canceling since a higher priority waiting request for 'PR-refs/heads/main' exists
Examples
Canceling since a higher priority waiting request for 'PR-refs/heads/main' exists