Merge remote-tracking branch 'v3io/development' into fix-CI-with-dockerhub-creds

gtopper · gtopper · commit 0f59fb26b6d6 · 2025-12-09T14:15:13.000+07:00
# Conflicts:
#	.github/workflows/push.yml
diff --git a/.github/workflows/pr.yml b/.github/workflows/pr.yml
@@ -12,9 +12,11 @@
 # See the License for the specific language governing permissions and
 # limitations under the License.
 #
-name: CI
+name: CI-PR
 
-on: pull_request_target
+on: 
+  pull_request_target:
+  workflow_dispatch:
 
 jobs:
   lint:
