diff options
| author | Giacomo Pozzoni <giacomopoz@gmail.com> | 2020-05-22 13:26:46 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-05-22 13:26:46 +0200 |
| commit | 7c68eb0e70a61c3831286f3810471eb2a255b7ad (patch) | |
| tree | a40d455e3b460861541f1d1d3f44943d07b9fbd1 /src | |
| parent | 4d69cc1c567180b408ddbadb9edf26859cf4c006 (diff) | |
CI/GitHub: Fix github actions syntax
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions