Repository navigation

Build with ninja - #258

Merged

JordyAaldering merged 11 commits into

May 4, 2026

Merged

Build with ninja#258
JordyAaldering merged 11 commits into
masterfrom
ninja

Commits on Apr 30, 2026
- build with ninja
  JordyAaldering
  committed
  3773295
- fix wrong working directory
  JordyAaldering
  committed
  a5b5964
- also build sac with ninja
  JordyAaldering
  committed
  f1bf5ab
- also build sac with ninja
  JordyAaldering
  committed
  82a5dd7
Commits on May 1, 2026
- macos runner has 3 threads
  JordyAaldering
  committed
  9de14e6
- use variables for urls
  JordyAaldering
  committed
  a8a9e90
- avoid potential duplicate "
  JordyAaldering
  committed
  d802263
Commits on May 4, 2026
- variables is named env in github CI
  JordyAaldering
  committed
  64b25f9
- is fetch depth needed to get the tags?
  JordyAaldering
  committed
  fdfbd1c
- manually call cmake to avoid error on makefile changes
  JordyAaldering
  committed
  8921cec
- oops, $ should not have ()
  JordyAaldering
  committed
  b92f227