]> https://gitweb.dealii.org/ - dealii.git/commitdiff
disable github CI build of branches 15607/head
authorTimo Heister <timo.heister@gmail.com>
Mon, 3 Jul 2023 03:45:54 +0000 (23:45 -0400)
committerTimo Heister <timo.heister@gmail.com>
Mon, 3 Jul 2023 03:45:54 +0000 (23:45 -0400)
.github/workflows/linux.yml
.github/workflows/osx.yml
.github/workflows/tidy.yml
.github/workflows/windows.yml

index ac6d3ab6421e32d727c5e20b43ddd0aceed79a23..8319201a11c6e36ab9912b7a2a8edc650126caa5 100644 (file)
@@ -1,6 +1,6 @@
 name: github-linux
 
-on: [push, pull_request]
+on: [pull_request]
 
 concurrency:
   group: ${ {github.event_name }}-${{ github.workflow }}-${{ github.ref }}
index 0a1def26f804b4dcfa6f65e31236c7b029330d9b..b81f8cc2df7d80ec2da2d84c41557d4a88e475d9 100644 (file)
@@ -1,6 +1,6 @@
 name: github-OSX
 
-on: [push, pull_request]
+on: [pull_request]
 
 concurrency:
   group: ${ {github.event_name }}-${{ github.workflow }}-${{ github.ref }}
index 2d3b517b4068fbd3a0085a82d50a5292cdcf3e33..e2bf74972f1c486698e8321fcd5fa7de43e5da1b 100644 (file)
@@ -1,6 +1,6 @@
 name: tidy
 
-on: [push, pull_request]
+on: [pull_request]
 
 concurrency:
   group: ${ {github.event_name }}-${{ github.workflow }}-${{ github.ref }}
index 3d194201c433ffc91dc773b886ca7dd024942534..db44c7040d9717a306c7a5bb78b002e7a2882c20 100644 (file)
@@ -1,6 +1,6 @@
 name: github-windows
 
-on: [push, pull_request]
+on: [pull_request]
 
 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.