diff options
| author | jvoisin | 2021-01-05 19:05:22 +0100 |
|---|---|---|
| committer | jvoisin | 2021-01-05 19:14:11 +0100 |
| commit | 93cdfaeb3ffbe34d62d8e864acacbbc7f653087b (patch) | |
| tree | 9c764045b323c7c00a631097b86e71989cee1a3d /.github/workflows | |
| parent | 8ce3a93137689fa7e5496981f44a0ecd763e1a99 (diff) | |
Add ubuntu to the ci
Diffstat (limited to '.github/workflows')
0 files changed, 0 insertions, 0 deletions