dio
dio copied to clipboard
Fix GitHub Actions CI and update deps
New Pull Request Checklist
- [X] I have read the Documentation
- [X] I have searched for a similar pull request in the project and found none
- [X] I have updated this branch with the latest
develop
to avoid conflicts (via merge from master or rebase) - [ ] I have added the required tests to prove the fix/feature I am adding
- [ ] I have updated the documentation (if necessary)
- [X] I have run the tests and they pass
This merge request fixes / refers to the following issues: ...
Pull Request Description
Fix GitHub Actions CI and update deps. Let the CI work.