diff WORKFLOW.md @ 1274:c8d6580d9307 tooling/benchmarks

Add Make targets for running benchmarks
author Vidar Stiernström <vidar.stiernstrom@it.uu.se>
date Tue, 28 Feb 2023 20:46:29 +0100
parents 48cbcbc7a40b
children
line wrap: on
line diff