build: add CI (using Docker) #2

Merged
Future merged 57 commits from build/ci-docker into main 2024-03-26 18:18:35 +00:00
Showing only changes of commit 15c0c204f2 - Show all commits

View File

@ -25,4 +25,4 @@ jobs:
cd ${{ github.workspace }}
./.gitea/scripts/ci.sh
env:
OAT_VERSION: 0.10.0
OAT_VERSION: "0.10.0"