Rename benchmark CI file to find it easily in the manifest list

This commit is contained in:
curquiza 2023-10-12 18:41:26 +02:00
parent 0913373a5e
commit 8cf2ccf168