Merge branch 'main' into main

2025-12-16 01:48:56 +08:00 · 2025-05-01 17:09:57 -04:00
parent 05b4bffe3b 805db9bdea
commit 16c25ae441
9 changed files with 180 additions and 21 deletions
--- a/.github/workflows/build.yaml
+++ b/.github/workflows/build.yaml
@@ -1,10 +1,12 @@
 name: Build

 on:
-  create:
+  # On new commits to main:
  push:
    branches:
      - main
+
+  # On pull requests:
  pull_request:
    branches:
      - main