Closed etiennebacher closed 9 months ago
Keep getting an error about "can't read RDS" in the polars CI. Maybe it's just better to not write this file because it won't be updated in main and therefore not available to us
main
Keep getting an error about "can't read RDS" in the polars CI. Maybe it's just better to not write this file because it won't be updated in
main
and therefore not available to us