PR #1270 Fix build PR doc workflow

Fix build PR doc workflow #1270

fxmarty merged 9 commits into main from fix-pr-doc-workflow

tentatively fix

bbeeb78c

exporters gpu needs the correct label

4070b284

types required?

efe7376a

starting?

1776d37b

target

feda28f5

i don't expect this to help

d350764e

should run

7a4a3338

add workflow dispatch

e6e2d1d4

revert doc change

8f885452

fxmarty merged a36e4b3b into main 2 years ago

fxmarty deleted the fix-pr-doc-workflow branch 2 years ago

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Milestone

No milestone