Merge branch 'main' into main

This commit is contained in:
Arkadiy Tetelman authored and GitHub committed 2025-10-19 14:34:36 -07:00
commit 08f630f96e
1 file changed
+3 -1
+3 -1
View File
@@ -1,4 +1,6 @@
on: [push]
on:
- push
- pull_request_target
jobs:
build: