Skip to content

Merge pull request #516 from jcs-PR/sideline #390

Merge pull request #516 from jcs-PR/sideline

Merge pull request #516 from jcs-PR/sideline #390

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

main.yml

on: push
check_toc_with_emacs
10s
check_toc_with_emacs
check_links_with_awesome_bot
7m 55s
check_links_with_awesome_bot
Fit to window
Zoom out
Zoom in