add extensions-ci-pr task which does a full build without mangling

This commit is contained in:
Johannes
2023-06-07 16:36:02 +02:00
parent ac7789cbab
commit 978bb08619
6 changed files with 55 additions and 14 deletions

File diff suppressed because one or more lines are too long