]> https://gitweb.dealii.org/ - dealii.git/commitdiff
github: reenable runners on push
authorMatthias Maier <tamiko@43-1.org>
Tue, 4 Jul 2023 22:25:06 +0000 (17:25 -0500)
committerMatthias Maier <tamiko@43-1.org>
Sat, 8 Jul 2023 04:43:44 +0000 (23:43 -0500)
.github/workflows/linux.yml
.github/workflows/osx.yml
.github/workflows/tidy.yml
.github/workflows/windows.yml

index 7e70497c1969e3e1ff836554fdea331ca09c4617..d9b9aac9b87f1bd95741e432e2a03b26439b7868 100644 (file)
@@ -1,6 +1,7 @@
 name: github-linux
 
 on:
+  push:
   pull_request:
     types:
     - opened
index 345361829b9ab6f2f2b6196aadd392e0f9673d78..47a548d6eff03b6f6734f36c0a111f166fb8f627 100644 (file)
@@ -1,6 +1,7 @@
 name: github-OSX
 
 on:
+  push:
   pull_request:
     types:
     - opened
index a9fe923083e077d2817cc7766fee1dd982fdcfbc..aa2e30b6cd627c76fc83b7fe7f321b1b863c012a 100644 (file)
@@ -1,6 +1,7 @@
 name: tidy
 
 on:
+  push:
   pull_request:
     types:
     - opened
index e2a7d9b0ec88e760e79eb1c3c59710907cf0e981..d11eeeac62926f0e8da6205d316a7a4e30d287f2 100644 (file)
@@ -1,6 +1,7 @@
 name: github-windows
 
 on:
+  push:
   pull_request:
     types:
     - opened

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.