MIgrate CI from travis to github actions#63
Open
rsmdt wants to merge 6 commits into
Open
Commits
Commits on Oct 19, 2022
- committed
Rudolf Schmidt
Commits on Oct 20, 2022
- committed
Rudolf Schmidt - committed
Rudolf Schmidt - committed
Rudolf Schmidt - committed
Rudolf Schmidt
Commits on Oct 21, 2022
- committed
Rudolf Schmidt