1. 23 Dec, 2020 1 commit
  2. 11 Dec, 2020 2 commits
  3. 04 Dec, 2020 1 commit
  4. 30 Nov, 2020 1 commit
  5. 28 Nov, 2020 2 commits
  6. 24 Nov, 2020 2 commits
  7. 15 Nov, 2020 2 commits
  8. 13 Nov, 2020 1 commit
  9. 27 Oct, 2020 1 commit
  10. 25 Oct, 2020 2 commits
  11. 20 Oct, 2020 1 commit
    • Ben Gamari's avatar
      gitlab-ci: Rename FLAVOUR -> BUILD_FLAVOUR · 59b08a5d
      Ben Gamari authored
      Previously the Hadrian jobs used the `FLAVOUR` environment variable to
      communicate which flavour `ci.sh` should build whereas `make` used
      `BUILD_FLAVOUR`. This caused unnecessary confusion. Consolidate these
      two.
      59b08a5d
  12. 17 Oct, 2020 2 commits
  13. 16 Oct, 2020 3 commits
  14. 14 Oct, 2020 2 commits
  15. 11 Oct, 2020 1 commit
  16. 09 Oct, 2020 2 commits
  17. 07 Oct, 2020 1 commit
  18. 26 Sep, 2020 2 commits
  19. 14 Sep, 2020 4 commits
  20. 09 Sep, 2020 1 commit
    • Ben Gamari's avatar
      gitlab-ci: Bump Docker images · 5aae5b32
      Ben Gamari authored
      We now generate our Docker images via Dhall definitions, as described in
      ci-images!52. Additionally, we are far more careful about where tools
      come from, using the ALEX, HAPPY, HSCOLOR, and GHC environment variables
      (set in the Dockerfiles) to find bootstrapping tools.
      5aae5b32
  21. 07 Sep, 2020 1 commit
  22. 05 Sep, 2020 4 commits
  23. 22 Aug, 2020 1 commit