Improve CI

This commit is contained in:
2023-01-14 21:00:32 +08:00
parent e00899d176
commit ba274307c0
15 changed files with 274 additions and 201 deletions

View File

@@ -2,7 +2,6 @@
set -eux
. .github/scripts/prereq.sh
. .github/scripts/common.sh