fix: prevent duplicate CI runs on pull request pushes #490

Merged
guettlibot merged 1 commits from refs/pull/490/head into main 2026-06-06 19:43:47 +00:00
+5 -1
View File
@@ -1,5 +1,9 @@
name: CI name: CI
on: [push, pull_request] on:
push:
branches:
- main
pull_request:
jobs: jobs:
check: check:
name: Full Project Check name: Full Project Check