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

This commit is contained in:
Johannes
2023-06-07 15:51:48 +02:00
parent 3ccf16ef21
commit ac7789cbab
3 changed files with 24 additions and 6 deletions

View File

@@ -150,6 +150,16 @@ const core = task.define('core-ci', task.series(
));
gulp.task(core);
const corePr = task.define('core-ci-pr', task.series(
gulp.task('compile-build-pr'),
task.parallel(
gulp.task('minify-vscode'),
gulp.task('minify-vscode-reh'),
gulp.task('minify-vscode-reh-web'),
)
));
gulp.task(corePr);
/**
* Compute checksums for some files.
*