From f1328ac5850f0659d6f221b8694691fdee573cb1 Mon Sep 17 00:00:00 2001
From: "Paulo F. Oliveira" <paulo.ferraz.oliveira@gmail.com>
Date: Fri, 7 Jun 2024 20:25:21 +0100
Subject: [PATCH] Fix CI execution conditions: pull request + push to main

---
 .github/workflows/ci.yml   | 9 ++++++++-
 .github/workflows/lint.yml | 9 ++++++++-
 2 files changed, 16 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index aa5f5e35..ea99f8b8 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -1,6 +1,13 @@
 ---
 name: build
-on: [push]
+on:
+  push:
+    branches:
+      - main
+  pull_request:
+    branches:
+      - "*"
+  workflow_dispatch: {}
 jobs:
   ci:
     name: OTP ${{matrix.otp_vsn}} on ${{matrix.os}}
diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml
index dc0bcd42..9931855d 100644
--- a/.github/workflows/lint.yml
+++ b/.github/workflows/lint.yml
@@ -1,7 +1,14 @@
 ---
 name: lint
 
-on: [push]
+on:
+  push:
+    branches:
+      - main
+  pull_request:
+    branches:
+      - "*"
+  workflow_dispatch: {}
 
 jobs:
   md_and_yml: