Closed leandron closed 2 years ago
Expected to fail until https://github.com/tlc-pack/tlcpack/pull/92 is merged.
do we need to wait til CI updates to 3.7 for this?
do we need to wait til CI updates to 3.7 for this?
No, because the production image already shipped without 3.6.
Base image information:
cc @areusch @tqchen @Mousius