diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2020-07-24 00:17:52 +0200 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2020-07-24 00:29:11 +0200 |
| commit | 0e294e6d25f51ed767ac88cdcba396932d4071b2 (patch) | |
| tree | 775c1a1462fc61573744cdce638d5d7fc56eb3a7 /misc | |
| parent | 8beb5f277de99611c6efee8d01b5760b8785cd70 (diff) | |
CI: Add Mono support to Linux builds on GitHub Actions
Mono seems to be preinstalled in the build environment \o/
Diffstat (limited to 'misc')
0 files changed, 0 insertions, 0 deletions