Nikos Kontakis c0ac6a960b Rename .feature extension to .zndsl (#2215) ...

* Rename .feature extension to .zndsl

* Rename .feature to .zndsl into scripts

2023-02-20 23:20:44 +01:00

..

changelog

WIP: Fix templates (#2204)

2023-02-17 15:15:26 +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/pipeline

Rename .feature extension to .zndsl (#2215)

2023-02-20 23:20:44 +01:00

create-benchmark-pr.sh

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

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