5 commits

Author	SHA1	Message	Date
William S Fulton	6c4125db0c	GHA: apt-get update for Octave ... To fix: Failed to fetch http://azure.archive.ubuntu.com/ubuntu/pool/main/m/mesa/libgl1-mesa-dev_21.0.3-0ubuntu0.3~20.04.2_amd64.deb 404 Not Found	2021-10-18 08:48:05 +01:00
William S Fulton	d0b6cfeca4	Factor out common environment setup GHA steps	2021-10-15 08:14:28 +01:00
Vadim Zeitlin	11c8760639	Install rvm in CI setup script if it's not available ... It is not available out of the box in GitHub environment, unlike under Travis CI, so install it ourselves. Note that we do it manually because installing the rael-gc/rvm PPA doesn't seem to work with weird failures in GitHub Actions environment. We also can't use gpg2 --recv-keys in this environment as it doesn't work, apparently due to a firewall.	2021-10-01 03:20:13 +02:00
Kris Thielemans	333e2daa13	[CI] change python install	2021-08-02 09:44:21 +01:00
Kris Thielemans	901f399f8c	[CI] generalise travis-linux-install.sh ... - move content to CI-linux-install.sh which is independent of Travis - create equivalent for Github Actions (GHA)	2021-08-01 22:28:00 +01:00