Skip to content
CI

Remove dead header files (#693) #1733

Sign in to view logs

Remove dead header files (#693)

Remove dead header files (#693) #1733

Triggered via push January 5, 2026 19:02
@alexcrichtonalexcrichton
pushed 5c61b6f
main
Status Cancelled
Total duration 55s
Artifacts –

main.yml

on: push
Clang Format
Clang Format
Ensure wit-bingen bindings are up-to-date
Ensure wit-bingen bindings are up-to-date
Rustfmt
Rustfmt
Matrix: buildlibc
Waiting for pending jobs
Matrix: wasi-headers test
Waiting for pending jobs
Matrix: python
Waiting for pending jobs
Fit to window
Zoom out
Zoom in

Annotations

1 error
CI
Canceling since a higher priority waiting request for CI-refs/heads/main exists