diff options
| author | regnat <rg@regnat.ovh> | 2021-11-05 11:17:22 +0100 |
|---|---|---|
| committer | Théophane Hufschmitt <theophane.hufschmitt@tweag.io> | 2022-04-21 10:06:39 +0200 |
| commit | 86d7a11c6b338a73c30476be13a6cac562e309c3 (patch) | |
| tree | 42e3dbc1dcc095fb5d8c653fd790d69925610d74 /.github | |
| parent | 74d6782a6a864eed4c49ab606d130aec1201e584 (diff) | |
Make sure to delete all the realisation refs
Deleting just one will only work in the test cases where I didn’t bother
creating too many of them :p
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions