From 5e6214b7097b6b02ffd3a67869b7c4f240ea8945 Mon Sep 17 00:00:00 2001
From: Jerome Humbert <djeedai@gmail.com>
Date: Tue, 30 Jan 2024 22:21:15 +0000
Subject: [PATCH] Fix CI trigger on PR (#116)

---
 .github/workflows/ci.yaml | 13 +++++++++++++
 1 file changed, 13 insertions(+)

diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
index a962046..39bcab1 100644
--- a/.github/workflows/ci.yaml
+++ b/.github/workflows/ci.yaml
@@ -1,10 +1,23 @@
 name: CI
 
 on:
+  # Run on pull requests (PR)
   pull_request:
+    types:
+    # New PR
+    - opened
+    # Change pushed to source branch
+    - synchronize
+    # PR reopened
+    - reopened
+    # PR converted from Draft to Ready For Review
+    - ready_for_review
+  # Run on any new change on the main branch (CI)
   push:
     branches:
       - main
+  # Enable manual trigger via GitHub UI
+  workflow_dispatch:
 
 env:
   CARGO_TERM_COLOR: always