diff options
| author | jackpoz <giacomopoz@gmail.com> | 2020-05-23 17:56:59 +0200 |
|---|---|---|
| committer | jackpoz <giacomopoz@gmail.com> | 2020-05-23 17:56:59 +0200 |
| commit | 58013167ded4db06f0e59c1102f6406fd65e66b5 (patch) | |
| tree | e67ec3ab2c054f94564a2933c845b649130d8074 /src | |
| parent | 872fbb9e1f1ccec6fec574f254cf4787508ed553 (diff) | |
CI/GitHub: Rename jobs
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions