diff options
| author | Dario Nieuwenhuis <[email protected]> | 2023-10-07 01:33:43 +0200 |
|---|---|---|
| committer | Dario Nieuwenhuis <[email protected]> | 2023-10-07 01:34:17 +0200 |
| commit | 9090a78df4c3838ee8fdfd6641f5fea7d8e9906e (patch) | |
| tree | b45945c62cafb20abaef05585034f96f95a251fa /.github/workflows | |
| parent | 534eb960e9f7c9bb28cbd6ffe10b6cc43fd55ff7 (diff) | |
ci: set target dir if not specified.
Diffstat (limited to '.github/workflows')
0 files changed, 0 insertions, 0 deletions