From d426944254a16e195cda7b8adb3335e9c4a65a82 Mon Sep 17 00:00:00 2001
From: Yannick Forster <yannick.forster@inria.fr>
Date: Thu, 20 Apr 2023 17:51:57 +0200
Subject: [PATCH] only run n i x on push events and if the word is in the
 commit message

---
 .github/workflows/nix-action-coq-8.16-macos.yml  | 12 +++++-------
 .github/workflows/nix-action-coq-8.16-ubuntu.yml |  9 ++-------
 2 files changed, 7 insertions(+), 14 deletions(-)

diff --git a/.github/workflows/nix-action-coq-8.16-macos.yml b/.github/workflows/nix-action-coq-8.16-macos.yml
index 1e89ebab4..3e4767521 100644
--- a/.github/workflows/nix-action-coq-8.16-macos.yml
+++ b/.github/workflows/nix-action-coq-8.16-macos.yml
@@ -1,6 +1,7 @@
 jobs:
   coq:
     needs: []
+    if: ${{ contains(github.event.head_commit.message, 'nix') }}
     runs-on: macos-latest
     concurrency:
       group: ${{ github.workflow }}-MacOS-coq-${{ github.event_name }}-${{ github.head_ref || github.run_id }}
@@ -173,14 +174,11 @@ jobs:
         --argstr job "metacoq"
 name: Nix CI for bundle coq-8.16
 'on':
-  pull_request:
-    paths:
-    - .github/workflows/**
   pull_request_target:
-    types:
-    - opened
-    - synchronize
-    - reopened
+    branches-ignore: "*"
+    types: []
+    branches:
+    - dontrun
   push:
     branches:
     - master
diff --git a/.github/workflows/nix-action-coq-8.16-ubuntu.yml b/.github/workflows/nix-action-coq-8.16-ubuntu.yml
index c9705f2ba..dc21fa93e 100644
--- a/.github/workflows/nix-action-coq-8.16-ubuntu.yml
+++ b/.github/workflows/nix-action-coq-8.16-ubuntu.yml
@@ -1,6 +1,7 @@
 jobs:
   coq:
     needs: []
+    if: ${{ contains(github.event.head_commit.message, 'nix') }}
     runs-on: ubuntu-latest
     concurrency:
       group: ${{ github.workflow }}-Ubuntu-coq-${{ github.event_name }}-${{ github.head_ref || github.run_id }}
@@ -173,14 +174,8 @@ jobs:
         --argstr job "metacoq"
 name: Nix CI for bundle coq-8.16
 'on':
-  pull_request:
-    paths:
-    - .github/workflows/**
   pull_request_target:
-    types:
-    - opened
-    - synchronize
-    - reopened
+    branches-ignore: "*"
   push:
     branches:
     - master