Merge branch 'coding-guidelines-and-friends' into gh-pages #134

Triggered via push March 1, 2025 19:36

dscho

gh-pages

Status Success

Total duration 5m 28s

Artifacts 1

deploy.yml

on: push

Produced during runtime

Name	Size
github-pages Expired	382 MB