mirror of
https://github.com/jerryscript-project/jerryscript.git
synced 2025-12-15 16:29:21 +00:00
f50728ef8d
- Make jobs run on latest versions of the OS's (except for "Checks", which relies on specific versions of checkers coming with Ubuntu 18.04) - Bump actions/checkout to v2 - Rewrite `apt-get` to `apt` (almost the same, but `apt` is the 2nd gen tool) - Drop step names (they took too much vertical space, didn't add too much useful information, and were very typo-prone) - Move superfluous environment variables (e.g., `BUILD_OPTIONS` or `SKIP_LIST`) to their expansion sites (use YAML block scalars `>-` where appropriate to enhance readability) - Fix duplicate installation of pylint in the "Checks" job JerryScript-DCO-1.0-Signed-off-by: Akos Kiss akiss@inf.u-szeged.hu