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 be6c18ef83 - Show all commits

View File

@ -26,5 +26,5 @@ jobs:
options: --volumes-from=${{ env.JOB_CONTAINER_NAME }}
run: |
cd ${{ github.workspace }}
echo "OAT_VERSION=${{ env.OAT_VERSION }}" >> $GITHUB_ENV
export OAT_VERSION=${{ env.OAT_VERSION }}
./.gitea/scripts/ci.sh