Skip to content
Build Antora documentation

Merge pull request #184 from KhronosGroup/remove_platform_header #336

Sign in to view logs

Merge pull request #184 from KhronosGroup/remove_platform_header

Merge pull request #184 from KhronosGroup/remove_platform_header #336

Triggered via push October 20, 2025 16:51
@marty-johnson59marty-johnson59
pushed 7d02753
main
Status Cancelled
Total duration 1m 32s
Artifacts –

build-antora-doc.yml

on: push
build
1m 26s
build
Fit to window
Zoom out
Zoom in

Annotations

3 errors
Build Antora documentation
Canceling since a higher priority waiting request for Build Antora documentation-refs/heads/main exists
build
Canceling since a higher priority waiting request for Build Antora documentation-refs/heads/main exists
build
The operation was canceled.