Commit 9f6d0ed
committed
doc: remove github workflow for doc check
We now do the doc check as part of the docs test target, no need to
repeat it as a separate workflow.
Signed-off-by: Jeremy Kerr <[email protected]>1 parent 8a446cb commit 9f6d0ed
1 file changed
Lines changed: 0 additions & 21 deletions
This file was deleted.
0 commit comments