ci: fire the pipeline - bare push trigger and a non-null workflow_dispatch (researchx#24)

2026-10-27 00:59:08 +00:00
parent b9108ae873
commit de6c4e096c
1 changed files with 1 additions and 1 deletions
@@ -35,9 +35,9 @@ name: ci

 on:
  push:
-    branches: ["main"]
  pull_request:
    branches: ["main"]
+  workflow_dispatch: {}

 jobs:
  backend: