Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Update ubuntu-ci-x86_64.yaml: move jedi-run back to root filesystem (#72
) Ran out of disk space on `/mnt/addon`, while there is plenty of space available on the root filesystem (at the moment ... this is only a duct-tape solution until we finally increase the disk space to something more than always close to the limit).
- Loading branch information