ci: migrate from GitHub Actions to Gitea Actions

2026-06-24 16:07:06 +03:00
parent 4dfaf11698
commit 68eb16027c
10 changed files with 544 additions and 0 deletions
@@ -0,0 +1,10 @@
+name: On push to a PR
+
+on:
+  pull_request:
+
+jobs:
+  run-tests-for-pr:
+    uses: ./.gitea/workflows/run-tests.yml
+    with:
+      target: ${{ github.event.pull_request.head.sha }}