Closed sethsabar closed 1 year ago
Thanks for this change! Unfortunately our CI infrastructure is down at the moment and I would like to avoid merging anything until it is fixed. When it is, we will push your PR through it and if everything goes smoothly we will merge it :)
This seems to be related to this issue (#334).
This PR looks good! Now that the CI is running we could try to merge it. Could you:
After that, we can merge the PR if CI passes :)
Closing this PR since I did the changes in #661
Package python causes issues on Ubuntu Linux when running
sudo pash/scripts/distro-deps.sh
during installation, python3 works.