List view

• v2.3.16

  14th of May --> Birthday of Albert Einstein 15th of May --> Franck Wilczek / Pierre Curie

  Overdue by 2 year(s)

  •

  Due by May 14, 2023

  •1/1 issues closed
  100% complete0 open1 closed

• Migrate validation pipeline from GitLab to GitHub

  Adapt the `.gitlab-ci.yml` configuration to run the pipeline in GitHub, so that we have easier access to the pipeline in the GitHub page (which is currently the main development environment). It should be straightforward to do (hopefully). Some additional information can be found here: https://docs.github.com/en/actions/learn-github-actions/migrating-from-gitlab-cicd-to-github-actions

  No due date

  •1/1 issues closed
  100% complete0 open1 closed