diff options
| author | Aria Shrimpton <me@aria.rip> | 2024-02-24 17:08:18 +0000 |
|---|---|---|
| committer | Aria Shrimpton <me@aria.rip> | 2024-02-24 17:08:18 +0000 |
| commit | 39b8ce777fc3af94cfda8fef2b96e88c9292f7e0 (patch) | |
| tree | 99cb8e13303e35f307e45c71322ef85eb3cc3c5d /.gitlab-ci.yml | |
| parent | ba31900cd8cf3f42b4bff28ca8f18849756158c9 (diff) | |
use criterion's profile-time flag for profiling
Diffstat (limited to '.gitlab-ci.yml')
0 files changed, 0 insertions, 0 deletions