Use debian builders for Linux aarch64#417

Closed

webmaster128 wants to merge 4 commits intomainfrom builders-0016

+84-35

Commits on Apr 6, 2023

Remove executable flag from build script in source
webmaster128
committed
Split linux build scripts and remove default script from Docker
webmaster128
committed
Reduce image size

Simon
authored and
Simon
committed
Create debian build and use for build_gnu_aarch64.sh

Simon
authored and
Simon
committed