diff options
| author | Dawer <[email protected]> | 2021-05-14 20:09:17 +0100 |
|---|---|---|
| committer | Dawer <[email protected]> | 2021-05-14 20:18:59 +0100 |
| commit | 2abb4c99fe8a5839fe2910e90f3471e6308f6229 (patch) | |
| tree | 072ba509e33888d2c4d4ef9b388d6d38e949ff64 /.github/workflows/metrics.yaml | |
| parent | 6c0f20d79f8e5da57bd907aa1c3324fb92344b9a (diff) | |
Fix false positive "Missing match arm".
Diffstat (limited to '.github/workflows/metrics.yaml')
0 files changed, 0 insertions, 0 deletions