In #88, to resolve CI errors, I downgraded pipenv (first to 2022.12.19, then to 2023.6.18, which I had seen succeed in CI previously). Once merged to main, CI failed. The dependencies had been cached after successfully installing using the former version; the latter version doesn't work — confirmed in #90.
In #88, to resolve CI errors, I downgraded pipenv (first to 2022.12.19, then to 2023.6.18, which I had seen succeed in CI previously). Once merged to main, CI failed. The dependencies had been cached after successfully installing using the former version; the latter version doesn't work — confirmed in #90.
This should fix CI errors on main for now.