Skip to content

Merge pull request #256 from ematipico/fix/emit-correct-heading #115

Merge pull request #256 from ematipico/fix/emit-correct-heading

Merge pull request #256 from ematipico/fix/emit-correct-heading #115

Triggered via push August 1, 2023 14:10
Status Success
Total duration 30s
Artifacts

deploy-docs.yaml

on: push
Deploy master docs to github pages
18s
Deploy master docs to github pages
Fit to window
Zoom out
Zoom in