Skip to content

docs: two of the unknowns are answered, and the tool that answered them #15

docs: two of the unknowns are answered, and the tool that answered them

docs: two of the unknowns are answered, and the tool that answered them #15

Triggered via push August 19, 2026 02:09
Status Cancelled
Total duration 3m 33s
Artifacts

check.yml

on: push
both builds compile
3m 16s
both builds compile
the code matches .clang-format
10s
the code matches .clang-format
generated files match their sources
5s
generated files match their sources
Fit to window
Zoom out
Zoom in

Annotations

3 errors and 3 warnings
check
Canceling since a higher priority waiting request for check-refs/heads/main exists
both builds compile
Canceling since a higher priority waiting request for check-refs/heads/main exists
both builds compile
The operation was canceled.
generated files match their sources
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4, actions/setup-python@v5. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
the code matches .clang-format
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4, actions/setup-python@v5. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
both builds compile
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache@v4, actions/checkout@v4, actions/setup-python@v5. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/