]> https://gitweb.dealii.org/ - dealii.git/commitdiff
github: trigger on ready_for_review event 15630/head
authorMatthias Maier <tamiko@43-1.org>
Mon, 3 Jul 2023 22:24:40 +0000 (17:24 -0500)
committerMatthias Maier <tamiko@43-1.org>
Mon, 3 Jul 2023 22:25:53 +0000 (17:25 -0500)
.github/workflows/linux.yml
.github/workflows/osx.yml
.github/workflows/tidy.yml
.github/workflows/windows.yml

index 9f06d7fe75325852fee9b0b3f8084d67be4ac059..2f7f78e0f0fdf8264fce65616b94127d9cbf368c 100644 (file)
@@ -1,6 +1,12 @@
 name: github-linux
 
-on: [pull_request]
+on:
+  pull_request:
+    types:
+    - opened
+    - reopened
+    - synchronize
+    - ready_for_review
 
 concurrency:
   group: ${ {github.event_name }}-${{ github.workflow }}-${{ github.ref }}
index 72e3264545b3192567bdc61527c96553dd904028..345361829b9ab6f2f2b6196aadd392e0f9673d78 100644 (file)
@@ -1,6 +1,12 @@
 name: github-OSX
 
-on: [pull_request]
+on:
+  pull_request:
+    types:
+    - opened
+    - reopened
+    - synchronize
+    - ready_for_review
 
 concurrency:
   group: ${ {github.event_name }}-${{ github.workflow }}-${{ github.ref }}
index 90e7e7d446140e1f79da83b336d7bd345ecbb351..a9fe923083e077d2817cc7766fee1dd982fdcfbc 100644 (file)
@@ -1,6 +1,12 @@
 name: tidy
 
-on: [pull_request]
+on:
+  pull_request:
+    types:
+    - opened
+    - reopened
+    - synchronize
+    - ready_for_review
 
 concurrency:
   group: ${ {github.event_name }}-${{ github.workflow }}-${{ github.ref }}
index 466785326e0906469a32609b237fa3b4debed332..e2a7d9b0ec88e760e79eb1c3c59710907cf0e981 100644 (file)
@@ -1,6 +1,12 @@
 name: github-windows
 
-on: [pull_request]
+on:
+  pull_request:
+    types:
+    - opened
+    - reopened
+    - synchronize
+    - ready_for_review
 
 concurrency:
   group: ${ {github.event_name }}-${{ github.workflow }}-${{ github.ref }}

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.