Code

GitHub migration#1

Code

Merged

rcschrg merged 7 commits intodevelopmentOFFIS-DAI/mango:developmentfrom github-migrationOFFIS-DAI/mango:github-migrationCopy head branch name to clipboardOct 20, 2023

+70-63

Commits

Commits on Oct 19, 2023

• Updated repo URLs. Added workflows for testing and publishing

  rcschrg

  committed
  52a6168

• Added workflow files.

  rcschrg

  committed
  4dfc7bb

• Added workflow files.

  rcschrg

  committed
  f15f092

• Added workflow files.

  rcschrg

  committed
  23556bd

• Add sudo for apt install

  rcschrg

  committed
  ed3a902

• Add sudo for apt install

  rcschrg

  committed
  cbc0a91

• Add sudo for apt install

  rcschrg

  committed
  f82002f