Skip to content

Revert "Checkout head instead of merge-commit" #27

Revert "Checkout head instead of merge-commit"

Revert "Checkout head instead of merge-commit" #27

Triggered via push November 14, 2023 08:25
Status Success
Total duration 2m 48s
Artifacts

build_doc.yaml

on: push
Fit to window
Zoom out
Zoom in