diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2018-03-22T12·03+0100 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2018-03-22T12·03+0100 |
| commit | 92aee1b7d69adc9552dc0efae9d030e02aa2f353 (patch) | |
| tree | 63d69534de8e6f989bf21f0edbdedcdcb668f9bb /mk | |
| parent | c24e0439b21680771f4684f31e49fe7896190824 (diff) | |
Remove some release-critical jobs
The release does not in fact depend on Ubuntu/Fedora builds (we don't publish the build results).
Diffstat (limited to 'mk')
0 files changed, 0 insertions, 0 deletions