Commits

Breadcrumbs

History for

ondevelop

User selector

All users

All time

Commit History

Commits on Aug 15, 2023

• Docker enhancement #1277 (#1278)

  Show description for 7e69d04
  PGijsbers

  authored
  7e69d04

  Copy full SHA for 7e69d04

Commits on Feb 22, 2023

• Update docker actions (#1211)

  Show description for 603fe60
  mfeurer

  authored
  603fe60

  Copy full SHA for 603fe60

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