Fix Docker setup and CI installation (#1212)

This commit is contained in:
Bas Nijholt 2025-06-15 21:31:51 -07:00 committed by GitHub
commit ded439e6f7
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
8 changed files with 32 additions and 66 deletions

View file

@ -1,6 +1,6 @@
#!/usr/bin/env bash
set -e
set -ex
cd "$(dirname "$0")/.."