Skip to content

Fix(v0.9): target-pointer-width field now expects an integer #781

Fix(v0.9): target-pointer-width field now expects an integer

Fix(v0.9): target-pointer-width field now expects an integer #781

Re-run triggered September 3, 2025 15:39
Status Success
Total duration 10m 13s
Artifacts

build.yml

on: push
Check Formatting
14s
Check Formatting
Matrix: Build Example Kernel
Matrix: Test
Fit to window
Zoom out
Zoom in

Annotations

1 notice
Test (windows-latest)
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