diff options
| author | Blaž Hrastnik | 2020-09-13 11:11:29 +0000 |
|---|---|---|
| committer | Blaž Hrastnik | 2020-09-13 11:11:29 +0000 |
| commit | 2027f69eae5a8b7d25a4613dfddc382f01bcdb78 (patch) | |
| tree | dd031b983ee99ca5e98810650dd59190a65f5ca6 /.github/workflows | |
| parent | b827b41efea1a11ab245c7aac6c12a34501464d5 (diff) | |
Deduplicate some code.
Diffstat (limited to '.github/workflows')
0 files changed, 0 insertions, 0 deletions