pdf.js/.github/workflows
Jonas Jenwald 5687326046 Clean-up the CI workflow a bit
After recent PRs the size and scope of the CI workflow is now reduced, and this patch tries to simplify things further. More specifically we can directly specify the gulp-tasks in the workflow, and thus clean-up the `gulpfile` a tiny bit.

Note that this will technically be slower, since the tests are now run in series (rather than in parallel), however `gulp externaltest` runs so quickly that it really won't matter in practice.
2023-11-12 13:48:02 +01:00
..
ci.yml Clean-up the CI workflow a bit 2023-11-12 13:48:02 +01:00
codeql.yml Bump actions/checkout from 3 to 4 2023-09-04 12:51:59 +00:00
fluent_linter.yml Fix the configuration path in the GitHub Actions workflow for the Fluent linter 2023-10-28 20:15:25 +02:00
lint.yml Move linting to a separate GitHub Actions workflow 2023-11-12 10:21:29 +01:00
publish_website.yml Update the GitHub Actions workflows to use the current Node.js LTS version 2023-10-29 12:42:11 +01:00
types_tests.yml Move gulp typestest to a separate GitHub Actions workflow 2023-11-12 13:27:29 +01:00