Set up GitHub build to replace Docker autobuild #2
Description
Docker is gating its autobuild infrastructure later this month, so we won't be able to use it anymore.
{{ message }}
Docker is gating its autobuild infrastructure later this month, so we won't be able to use it anymore.