Commits

Breadcrumbs

History for

ondevelop

User selector

All users

All time

Commit History

Commits on May 17, 2021

• Rename master to main (#1076)

  Show description for bb17e72
  

  mfeurer

  and

  PGijsbers

  authored
  bb17e72

  Copy full SHA for bb17e72

Commits on May 12, 2021

• Fetch before checkout (#1079)

  Show description for 3aee2e0
  PGijsbers

  authored
  3aee2e0

  Copy full SHA for 3aee2e0

Commits on May 7, 2021

• Add a Docker Image for testing and doc building in an isolated environment (#1075)

  Show description for 97d67e7
  

  PGijsbers

  and

  mfeurer

  authored
  97d67e7

  Copy full SHA for 97d67e7

Loading