ci: add a git.json metadata file during build

2026-02-06 11:48:12 +01:00
parent 09fdfb88cd
commit 1dae472253
6 changed files with 68 additions and 44 deletions
--- a/.gitea/scripts/ci-checks.sh
+++ b/.gitea/scripts/ci-checks.sh
@@ -0,0 +1,16 @@
+#!/usr/bin/env bash
+set -euo pipefail
+
+pnpm lint &
+LINT_PID=$!
+pnpm format:check &
+FORMAT_PID=$!
+pnpm check &
+TYPE_PID=$!
+xvfb-run --auto-servernum --server-args="-screen 0 1280x1024x24" pnpm test &
+TEST_PID=$!
+
+wait $LINT_PID
+wait $FORMAT_PID
+wait $TYPE_PID
+wait $TEST_PID