mirrors/pdf.js
1
0
Fork 0
mirror of https://github.com/mozilla/pdf.js.git synced 2025-04-19 14:48:08 +02:00
Code Activity

Merge pull request #17267 from Snuffleupagus/lint-workflow

Browse source 
Move linting to a separate GitHub Actions workflow
This commit is contained in:
Tim van der Meij 2023-11-12 13:08:26 +01:00 • committed by GitHub
commit e0e5be2c62
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 38 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

6
gulpfile.mjs
View file

@ -2439,9 +2439,5 @@ gulp.task("externaltest", function (done) {
gulp.task(
"ci-test",
gulp.series(
gulp.parallel("lint", "externaltest", "unittestcli"),
"lint-chromium",
"typestest"
)
gulp.series(gulp.parallel("externaltest", "unittestcli"), "typestest")
);