Commit Graph

23 Commits

Author SHA1 Message Date
Philip Chimento 684aec777f regexp-generator: Include these generated tests in make.py
This is necessary so that updates to the tests without corresponding
updates to the generator script will be flagged in CI runs.
2024-11-11 17:26:56 -08:00
Philip Chimento 24e46d9bc9 Combine push and PR actions
This reduces duplication, with the tradeoff of having some steps in the
linter job that are mutually exclusive depending on the job trigger.
2024-11-11 16:48:38 -08:00
Philip Chimento 5be2025369 Use changed-files action in ESMeta job as well
Since we are using it in the other jobs, we may as well use it here. As a
bonus, it will make the job work even if the target of the pull request
isn't the main branch.
2024-11-11 16:48:38 -08:00
Philip Chimento 7f4aa49ccd Test tools only if they were modified
Most of the time, we are not committing changes to the tools. Move the
unit tests for the lint and generation tools to a separate PR workflow,
that is only run if anything in the tools/ folder is modified in the PR.

This saves time in the normal case.
2024-11-11 16:48:38 -08:00
Philip Chimento b292eb95c3 Remove ci_build.sh
After the previous commit, it doesn't do much. Just write its contents
directly in the workflow step.
2024-11-11 16:48:38 -08:00
Philip Chimento c73968aaaf Migrate test generation workflow to GitHub Actions
This runs faster and allows for future improvements.

Similar to the linter workflow, we remove the Circle-CI-specific stuff
from the file in tools/scripts/, and into .github/workflows/.

We use another external action (tj-actions/verify-changed-files) to check
that generating the tests didn't create any new changes. This is basically
a companion action to the tj-actions/changed-files used in the linter job.
2024-11-11 16:48:38 -08:00
Philip Chimento 15b7a780b3 Add annotations in the PR for linter errors
This should help contributors notice and fix linter errors when they
occur. Apparently it's as easy as printing a magic string to stdout, who
knew!

The lint tool doesn't give line numbers so we place the annotations at
line 1 for the time being.
2024-11-11 16:48:38 -08:00
Philip Chimento 0df1565532 Remove ci_lint.sh
After the previous commit, it doesn't do much, only passes the linting
exceptions file on the command line. Instead, make the lint.exceptions
file the default for that argument (if it exists), and remove the shell
script.
2024-11-11 16:48:38 -08:00
Philip Chimento 7fc86bca6a Migrate linter workflow to GitHub Actions
This runs faster and allows for future improvements.

I'm following a general principle of keeping code that isn't portable
between CI providers inside the config file for the CI provider. So in
this case we remove the Circle-CI-specific stuff from the file in
tools/scripts/, and into .github/workflows/. We use an external action
(tj-actions/changed-files) to gather the list of files to lint.
2024-11-11 16:48:38 -08:00
Philip Chimento 8eb3a0dfde CI: Only install SBT if not present on Ubuntu image 2024-10-16 08:09:45 -07:00
Philip Chimento 9f3ea11f7f CI: Setup SBT manually
One of the core developers of SBT has kindly created an action to replace
the missing SBT in newer Ubuntu images.
https://github.com/marketplace/actions/setup-sbt-installer

Closes: #4267
2024-10-16 08:09:45 -07:00
Ms2ger 5e57a79428 update es-meta version to v0.4.2 2024-08-20 18:26:44 +02:00
DevMirza ac778eaa29
update es-meta version to v0.4.1 2024-05-18 12:33:09 +05:00
Doehyun Baek c8dead8b74 Append newline and use working_directory 2022-11-28 16:37:08 -08:00
Doehyun Baek e303a30f36 Update .github/workflows/esmeta-test262.yml
Co-authored-by: Jordan Harband <ljharb@gmail.com>
2022-11-28 16:37:08 -08:00
Doehyun Baek 8ef0a4c62f CI: Integrate ESMeta 2022-11-28 16:37:08 -08:00
Rick Waldron e9815013ac Remove syncing master from main 2020-09-14 12:04:28 -04:00
Leo Balter d3bfa94c16 Fix bad renaming, main should upstream to master 2020-07-15 16:52:23 -04:00
Leo Balter acc55231dd Update .github/workflows/update-master-after-main.yml 2020-07-15 15:47:15 -04:00
Leo Balter 60658a3b67 Update .github/workflows/update-master-after-main.yml
Co-authored-by: Jordan Harband <ljharb@gmail.com>
2020-07-15 15:47:15 -04:00
Leo Balter 2e127ec40e Rename usage of master to main
Ref #2699
2020-07-15 15:47:15 -04:00
Leo Balter 80c0c0801d Only update master branch after main 2020-07-13 14:12:56 -07:00
Leo Balter 31e88a860a Add GitHub Workflow to mirror master and main branches 2020-07-13 14:09:05 -07:00