Files
bootstrap/.github
XhmikosR f0ae5cceac 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/
2022-12-16 09:22:18 +02:00
..
2018-10-15 16:17:42 +03:00
2022-10-25 21:37:36 +03:00
2021-01-05 21:52:48 +02:00
2022-02-26 15:00:54 -08:00