ci: stop using deprecated set-env in GitHub Actions (And move the ci scripts into the `ci` directory.)
2020-11-18T18:08:23