Code

Configure Mend Bolt for GitHub#51

Code

Merged

FelixTJDietrich merged 2 commits intodevelopls1intum/Hephaestus:developfrom whitesource/configurels1intum/Hephaestus:whitesource/configureCopy head branch name to clipboardAug 13, 2024

+14

Commits

Commits on Aug 12, 2024

• Add .whitesource configuration file

  mend-bolt-for-github[bot]

  authored
  6cd47e3

Commits on Aug 13, 2024

• Merge branch 'develop' into whitesource/configure

  FelixTJDietrich

  authored
  738ab64