Changes

Update dependencies

Also try to test out whether the CI pipeline is intact or not,
it seems to be half-broken at this point. Oh well
 (commit: a89a002)