diff options
| author | XhmikosR <[email protected]> | 2022-12-16 09:22:18 +0200 |
|---|---|---|
| committer | GitHub <[email protected]> | 2022-12-16 09:22:18 +0200 |
| commit | f0ae5cceac1302d51cf62ffb180355bfc3300ae2 (patch) | |
| tree | af5ef4ffd70e17511e31826343d0caa466e44864 /.github/codeql | |
| parent | 471edac3d3cae51d415f03d941af1f27e72c9198 (diff) | |
| download | bootstrap-f0ae5cceac1302d51cf62ffb180355bfc3300ae2.tar.xz bootstrap-f0ae5cceac1302d51cf62ffb180355bfc3300ae2.zip | |
CI: limit the on push triggers (#35574)
Since now we have workflow_dispatch, we can trigger a workflow manually in case we don't have an open PR.
Also, remove the custom `ci skip` code; it's supported natively for some time now: https://github.blog/changelog/2021-02-08-github-actions-skip-pull-request-and-push-workflows-with-skip-ci/
Diffstat (limited to '.github/codeql')
0 files changed, 0 insertions, 0 deletions