Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
rewrite the
min_deps_check
script (#9754)
* rewrite the `min_deps_check` script * call the new script * unpin `micromamba` * install `rich-click` * enforce a minimum width of 120 * remove the background colors * remove old min-deps script * more changing of colors * some more styling * ... aaand some more styling * move the style definition in one place * compare versions *before* formatting * move the definition `console` into `main` * properly add two columns to the warnings tables * define the styles using the class and RGB values
- Loading branch information