fix name of github workflow
commit5142a44e585c9767e918f6d64ac6c6426808bcd1
authorSebastian Hoß <seb@hoß.de>
Wed, 6 Jul 2022 05:53:13 +0000 (6 07:53 +0200)
committerSebastian Hoß <seb@hoß.de>
Fri, 8 Jul 2022 10:08:32 +0000 (8 12:08 +0200)
tree6cca6b35182dae2ad8622b27ac588fa8506e83b4
parentf6f609d074e471502ebd015317c0865f301d0524
fix name of github workflow
.github/workflows/benchmarks.yml