test262/.github
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
..
workflows Combine push and PR actions 2024-11-11 16:48:38 -08:00