diff options
| author | Rukai <[email protected]> | 2021-05-08 13:04:25 +1000 |
|---|---|---|
| committer | Dario Nieuwenhuis <[email protected]> | 2021-05-10 00:36:23 +0200 |
| commit | 6c3299c82fe6c61c0b521edfc3ab2a3306702501 (patch) | |
| tree | c07be94ceb7ce1e8c0ea980f67681290cf43e0e8 /.github/workflows | |
| parent | 3e83a495cb4f3aafdd1befe524f64c78de1a5972 (diff) | |
Fix build on the latest nightly
Diffstat (limited to '.github/workflows')
0 files changed, 0 insertions, 0 deletions