Repository navigation

CI improvements 20250918 - #64

Merged

uyjulian merged 5 commits into

ps2dev:mainfrom

uyjulian:ci_improvements_20250918

Oct 4, 2025

Merged

CI improvements 20250918#64
uyjulian merged 5 commits into
ps2dev:mainfrom
uyjulian:ci_improvements_20250918

Commits on Sep 20, 2025
- CI: improve docker CI
  uyjulian
  committed
  7e2496c
- CI: improve compilation CI
  uyjulian
  committed
  7e15987
- buildsystem: fix MacPorts prefix
  uyjulian
  committed
  9112f6c
- buildsystem: Use printf instead of echo, use dollar shell subst instead backtick
  uyjulian
  committed
  4821369
- buildsystem: use sed wrapper around gsed for macOS
  uyjulian
  committed
  99d2492