Skip to content

Add pull_request synchronize trigger so workflows run when new commits are pushed to PR #45

Add pull_request synchronize trigger so workflows run when new commits are pushed to PR

Add pull_request synchronize trigger so workflows run when new commits are pushed to PR #45

Triggered via pull request April 13, 2026 22:53
Status Success
Total duration 6m 31s
Artifacts 1

build-doc.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
doc-html
87 MB
sha256:cc65f0187b00fb0a87c590ccaa6e45118d9dd50b567257265214ddbd4cd3595d