Skip to content
GitLab
Projects Groups Snippets
  • /
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in
  • C COOL
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
  • Issues 36
    • Issues 36
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 1
    • Merge requests 1
  • CI/CD
    • CI/CD
    • Pipelines
    • Jobs
    • Schedules
  • Deployments
    • Deployments
    • Releases
  • Analytics
    • Analytics
    • Value stream
    • CI/CD
    • Repository
  • Wiki
    • Wiki
  • Activity
  • Graph
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
Collapse sidebar
  • Software
  • COOL
  • Merge requests
  • !2

CI Improvements

  • Review changes

  • Download
  • Email patches
  • Plain diff
Merged Merlin requested to merge ci into master Aug 01, 2019
  • Overview 7
  • Commits 4
  • Pipelines 3
  • Changes 1

CI improvements as done originally in the cln branch.


Improvements:

  • run tests
  • separated build and tests
  • optional compiler cross-compilation

The optional cross-compilation stages have the purpose of providing an easy way to check if and how fast cool would compile under different OCaml versions.

Assignee
Assign to
Reviewers
Request review from
Time tracking
Source branch: ci