diff options
| author | Jörg Thalheim <Mic92@users.noreply.github.com> | 2020-05-22 14:15:13 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-05-22 13:15:13 +0000 |
| commit | 1ccf44204bb15d6e4fd6155a971e3a6fbf95e8ac (patch) | |
| tree | c89bdb737a9960a88103858afa0d7cc303aa8ecb /pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch | |
| parent | 9404c8ee74ebaf36fbd5a1dbb2fe1e7950424586 (diff) | |
actions/editorconfig: disable until we can combine this with ofborg (#88608)
We cannot run this check now, as it marks CI as green even though ofborg has not
evaluated it yet. In future we might be able to mark ofborg as a required test:
https://github.com/NixOS/nixpkgs/pull/87853#issuecomment-632676824
Diffstat (limited to 'pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch')
0 files changed, 0 insertions, 0 deletions