35.1.2. CircleCI
This setup successfully built gem5 on every commit: .circleci/config.yml
Enabling it is however blocked on: https://github.com/cirosantilli/linux-kernel-module-cheat/issues/79 so we disabled the builds on the web UI.
If that ever gets done, we will also need to:
-
convert this to a nightly with a workflow, to save server resources: https://circleci.com/docs/2.0/configuration-reference/#triggers
-
download the prebuilt disk images and enable caches to save the images across runs
A build took about 1 hour of a core, and the free tier allows for 1000 minutes per month: https://circleci.com/pricing/ so about 17 hours. The cheapest non-free setup seems to be 50 dollars per month gets us infinite build minutes per month and 2 containers, so we could scale things to run in under 24 hours.
There is no result reporting web UI however… but neither does GitLab CI: https://gitlab.com/gitlab-org/gitlab-ce/issues/17081