Skip to content

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

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

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

build-doc.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

1 warning
build-doc
Failed to save: Unable to reserve cache with key setup-uv-2-x86_64-unknown-linux-gnu-ubuntu-24.04-3.9-pruned-687147479122cd43d98a321cb010e8466edbbf945799145d22411c9870170f93, another job may be creating this cache.

Artifacts

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