Chocobo1
|
5b57abc7d8
|
GHA CI: add checking for doc
And also regenerate man pages with latest pandoc
|
1 year ago |
Chocobo1
|
d2c4b69f47
|
GHA CI: use least permission level
`actions: write` is required by Chocobo1/setup-ccache-action.
`pull-requests: write` is required by actions/stale.
https://docs.github.com/en/actions/using-workflows/workflow-syntax-for-github-actions#permissions
|
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`
* Update `pre-commit` action to `v3.0.0`
https://github.com/pre-commit/action/releases
* Bump pre-commit-hooks to `v4.3.0`
https://github.com/pre-commit/pre-commit-hooks.git
PR #17195.
|
2 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
Fix up 2652c73a4f .
PR #16558.
|
3 years ago |
Chocobo1
|
2652c73a4f
|
GHA CI: cancel outdated in-progress workflow runs
This will only cancel outdated workflow runs on PR branches and won't affect other normal repo
branches.
PR #16511.
|
3 years ago |
Chocobo1
|
3467358663
|
GHA CI: Switch to pre-commit framework for checking file health
Now users are able to run the same checks on their local development
environment.
https://pre-commit.com/
|
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
Jobs in those workflows has little to do with specific OS version, so
just use the latest.
|
3 years ago |
Chocobo1
|
fb6282da57
|
Add proper indention to steps section
Following the style from the examples in https://docs.github.com/en/actions/reference/workflow-syntax-for-github-actions#jobsjob_idsteps
|
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
After dropping "edited" keyword, it is the same as the default.
|
4 years ago |
FranciscoPombal
|
d79c5824b8
|
Detect .ts file issues with file health workflow
Also adjust newlines to improve output
|
4 years ago |
Chocobo1
|
df3d3db776
|
Pin github actions scripts to major versions
> Using the specific major action version allows you to receive critical
> fixes and security patches while still maintaining compatibility. It
> also assures that your workflow should still work.
https://docs.github.com/en/free-pro-team@latest/actions/reference/workflow-syntax-for-github-actions#jobsjob_idstepsuses
|
4 years ago |
FranciscoPombal
|
8bb097fd10
|
Add GitHub Actions file health workflow
|
4 years ago |