Skip to content

Merge pull request #1461 from fingolfin/mh/actions/checkout-v4 #126

Merge pull request #1461 from fingolfin/mh/actions/checkout-v4

Merge pull request #1461 from fingolfin/mh/actions/checkout-v4 #126

Triggered via push October 9, 2023 15:47
Status Success
Total duration 10m 22s
Artifacts

docs.yml

on: push
Push documentation to website
51s
Push documentation to website
Fit to window
Zoom out
Zoom in