Skip to content

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

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 #47

Triggered via pull request April 13, 2026 23:07
Status Success
Total duration 6m 33s
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:531b5b87f44b626fe91954fdb5dd39ea29ff61eceefe83f2788e10d2b6fa65b3