Mentions légales du service

Skip to content

Release 2020.08

Mathieu Giraud requested to merge feature-a/release into dev

Before the release


  • New features are described in doc/
  • Breaking changes (and needed configuration changes) are understood

On the feature-a/release branch, the last commit is the release commit updating the three following files:

  • doc/ with the proper release tag
  • algo/release with the proper release tag

Pipelines (if tests passed on different pipelines, indicate below the relevant pipelines)

Usual tests should pass, but also:

  • prepare_release
  • valgrind_unit
  • valgrind_functional
  • multiple_tests


  • almost no change...
  • ... or significant changes are understood

The release, publish, tag and push

  • merge this MR to master and tag: git tag release-20XX-XX
  • push: git push origin master release-20XX-XX
  • mirror to GH: git push github master release-20XX.XX
  • click publish_release (there may be changes to CD...)

After these steps, we merge back the release in dev:

After the release: deploy

Sometimes, the deploy stages can occur several days after the release. Open a new internal issue with the "Deploy" template : vdj#1101

Edited by Mathieu Giraud

Merge request reports