Skip to content

Merge pull request #522 from gs-101/indentation #408

Merge pull request #522 from gs-101/indentation

Merge pull request #522 from gs-101/indentation #408

Triggered via push January 4, 2025 23:49
Status Success
Total duration 7m 15s
Artifacts

main.yml

on: push
check_toc_with_emacs
10s
check_toc_with_emacs
check_links_with_awesome_bot
6m 50s
check_links_with_awesome_bot
Fit to window
Zoom out
Zoom in