Alexander Bayandin 913b5b7027 CI: remove separate check-build-tools-image workflow (#9708) ...

## Problem

We call `check-build-tools-image` twice for each workflow whenever we
use it, along with `build-build-tools-image`, once as a workflow itself,
and the second time from `build-build-tools-image`. This is not
necessary.

## Summary of changes
- Inline `check-build-tools-image` into `build-build-tools-image`
- Remove separate `check-build-tools-image` workflow

2024-11-18 13:14:28 +00:00

..

actions

CI: retry actions/github-script for 5XX errors (#9703)

2024-11-11 12:42:32 +00:00

ISSUE_TEMPLATE

.github: direct feature requests to the feedback form (#8849)

2024-08-28 09:22:19 +01:00

PULL_REQUEST_TEMPLATE

Migrate links from wiki to notion (#5862)

2023-11-14 15:36:47 +00:00

workflows

CI: remove separate check-build-tools-image workflow (#9708)

2024-11-18 13:14:28 +00:00

actionlint.yml

new ingest benchmark (#9711)

2024-11-11 17:51:15 +00:00

pull_request_template.md

Remove checklist from the PR template (#9702)

2024-11-11 17:01:02 +00:00