Skip to content

Merge pull request #2813 from mashehu/remove-github-admonitions #2566

Merge pull request #2813 from mashehu/remove-github-admonitions

Merge pull request #2813 from mashehu/remove-github-admonitions #2566

Triggered via push October 23, 2024 14:46
Status Success
Total duration 53s
Artifacts

linting.yml

on: push
Fit to window
Zoom out
Zoom in