DevTekVE 898f30744f ci: avoid deadlock on dev-c3 branch build when PR labeled dev-c3 (#839) ...

* ci: enhance PR checks to validate individual check runs before merging and ignore reset-and-squash as candidate for fail

* reset and squash script shouldn't will be cancelled only if a push to master has been made which always should take priority. The rest will be put on hold to avoid parallel squash scripts running

* Set concurrencty at workflow level?

* Set concurrencty at workflow level?

* change trigger to pull_request to validate

* Reducing the types of "pull request" events

* Keep it as target

* Playing eith run name a little

* Change to pull request not target

* simplifying

* set to just pull request without target

* maintain as pull request target

2025-04-20 13:04:35 +02:00

..

install_github_runner.sh

CI: Fix runner install script (#639)

2025-03-01 15:29:31 +01:00

publish.sh

CI: Build prebuilts and models from github and self hosted runners (#476)

2024-12-21 20:19:48 +01:00

squash_and_merge_prs.py

ci: avoid deadlock on dev-c3 branch build when PR labeled dev-c3 (#839)

2025-04-20 13:04:35 +02:00

squash_and_merge.py

CI: refactor Squash and Merge with simplified branch merging (#726)

2025-03-29 21:54:49 +00:00

uninstall_github_runner.sh

SP: GitHub runner as service and able to toggle via developer panel (#494)

2024-12-23 09:19:26 +01:00