Egor_P 0b79443be3 Fix PR name (#2926)

2023-07-24 11:33:05 +00:00

..

changelog

[WIP do not merge yet]: Change names of the assets to new, to fix release notes (#2785)

2023-07-04 14:43:24 +00:00

common

Move scripts used in CI to the new location (#1109)

2022-03-25 01:25:06 +02:00

github

[ci] change labels (#1533)

2022-08-16 17:10:58 +02:00

gitlab

Fix PR name (#2926)

2023-07-24 11:33:05 +00:00

create-benchmark-pr.sh

Add link to the weight comparison tool for weights PRs (#1788)

2022-10-21 08:01:09 +00:00