9 Commits (ff80e0ce6661a734ce1ca3e39010c13420e29ecd)

Author SHA1 Message Date
Chocobo1 d2c4b69f47 GHA CI: use least permission level 2 years ago
Chocobo1 df5ea9b675
GHA CI: bump setup-python to v4 2 years ago
xavier2k6 d0b13f0eb0
GHA CI: "file health" update `pre-commit` action to `v3.0.0` 3 years ago
xavier2k6 4dcd6df136 GHA CI: Update `setup-python` action to `v3` 3 years ago
xavier2k6 cea1bbde23 GHA CI: Update `checkout` action to `v3` 3 years ago
Chocobo1 116664285d
GHA CI: Don't cancel CI builds on non-pull-request branches 3 years ago
Chocobo1 2652c73a4f
GHA CI: cancel outdated in-progress workflow runs 3 years ago
Chocobo1 3467358663
GHA CI: Switch to pre-commit framework for checking file health 3 years ago
Chocobo1 a9feae6110
GHA CI: Split "main CI" to multiple workflows 3 years ago
Chocobo1 7433d85418
Revise workflow steps name/description 3 years ago
Chocobo1 ba1cf12817
Capitalize workflow step names 3 years ago
Chocobo1 535603fac4
Use latest Ubuntu images 3 years ago
Chocobo1 fb6282da57
Add proper indention to steps section 3 years ago
Chocobo1 23766cd01d
Clean up Github workflows' name 3 years ago
Chocobo1 03e7019182
Simplify CI script directives 4 years ago
Chocobo1 82b0bc63a3
Don't trigger Github Actions CI builds after editing a PR's opening post 4 years ago
FranciscoPombal d79c5824b8 Detect .ts file issues with file health workflow 4 years ago
Chocobo1 df3d3db776
Pin github actions scripts to major versions 4 years ago
FranciscoPombal 8bb097fd10 Add GitHub Actions file health workflow 4 years ago