Skip to content

Change all explicitly created <a name="..."> anchors to lowercase (#2… #664

Change all explicitly created <a name="..."> anchors to lowercase (#2…

Change all explicitly created <a name="..."> anchors to lowercase (#2… #664

Triggered via push November 13, 2025 18:13
Status Success
Total duration 5m 23s
Artifacts

build.yml

on: push
Fit to window
Zoom out
Zoom in

Annotations

4 warnings
build
Back off 25.966 seconds before retry.
build
Failed to download action 'https://api.github.com/repos/actions/checkout/tarball/71cf2267d89c5cb81562390fa70a37fa40b1305e'. Error: The request was canceled due to the configured HttpClient.Timeout of 100 seconds elapsing.
build
Back off 28.928 seconds before retry.
build
Failed to download action 'https://api.github.com/repos/actions/checkout/tarball/71cf2267d89c5cb81562390fa70a37fa40b1305e'. Error: The request was canceled due to the configured HttpClient.Timeout of 100 seconds elapsing.