Remove or update `ci/script.sh`

[szabgab]

It seems ci/script.sh was used when Travis-CI was used. Now the CI does not use it.
So either it could be removed or updated with the GitHub Actions environment variables and then used by GitHub Action.

Related to #418