.gitlab: add trigger for benchmarks#1588
Merged
knusbaum merged 13 commits intomainfrom knusbaum/trigger-benchmarksNov 18, 2022
+115
Commits
Commits on Nov 18, 2022
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- authored
- committed