PR #4009 chore: update doc-builder workflow SHA

chore: update doc-builder workflow SHA #4009

rtrompier merged 2 commits into main from update-doc-workflow-sha

chore: update doc-builder workflow SHA to latest main

2a4e0293

github-advanced-security commented on 2026-04-15

rtrompier requested a review from

paulinebm 97 days ago

Potential fix for pull request finding 'CodeQL / Workflow does not co…

a9cb0145

rtrompier merged 47d66d2a into main 97 days ago

rtrompier deleted the update-doc-workflow-sha branch 97 days ago

Reviewers

paulinebm

Assignees

No one assigned

Labels

None yet

Milestone

No milestone