Skip to content

Merge pull request #27 from bsipocz/HTML_TOC_headings #23

Merge pull request #27 from bsipocz/HTML_TOC_headings

Merge pull request #27 from bsipocz/HTML_TOC_headings #23

Triggered via push August 30, 2024 19:24
Status Cancelled
Total duration 14m 6s
Artifacts

ci_publish.yml

on: push
Fit to window
Zoom out
Zoom in

Annotations

2 errors
Publish HTML
Canceling since a higher priority waiting request for 'Publish HTML-refs/heads/main' exists
Publish HTML
The operation was canceled.