Skip to content

Merge pull request #513 from jcs-PR/fussy #388

Merge pull request #513 from jcs-PR/fussy

Merge pull request #513 from jcs-PR/fussy #388

Triggered via push December 17, 2024 05:13
Status Success
Total duration 7m 43s
Artifacts

main.yml

on: push
check_toc_with_emacs
11s
check_toc_with_emacs
check_links_with_awesome_bot
7m 19s
check_links_with_awesome_bot
Fit to window
Zoom out
Zoom in