]> https://gitweb.dealii.org/ - dealii.git/commitdiff
Fix typo.
authorMarc Fehling <mafehling.git@gmail.com>
Wed, 23 Oct 2024 17:26:25 +0000 (19:26 +0200)
committerMarc Fehling <mafehling.git@gmail.com>
Wed, 23 Oct 2024 18:06:10 +0000 (20:06 +0200)
.github/workflows/indent.yml
.github/workflows/linux.yml
.github/workflows/osx.yml
.github/workflows/tidy.yml
.github/workflows/windows.yml

index 836ab86f20bbe168835b454af9f0d75ad758c171..8bcfdd438fb62eabeb1078d13686d7ab6e9200b7 100644 (file)
@@ -3,7 +3,7 @@ name: indent
 on: [push, pull_request]
 
 concurrency:
-  group: ${ {github.event_name }}-${{ github.workflow }}-${{ github.ref }}
+  group: ${github.event_name }}-${{ github.workflow }}-${{ github.ref }}
   cancel-in-progress: ${{github.event_name == 'pull_request'}}
 
 permissions:
index 1c9e46446ace7250bf6045ccfb141b78fcd40a7f..1732f71ebff0d1b7fd4f4aeeec41ffbe8d1b35a8 100644 (file)
@@ -10,7 +10,7 @@ on:
     - ready_for_review
 
 concurrency:
-  group: ${ {github.event_name }}-${{ github.workflow }}-${{ github.ref }}
+  group: ${github.event_name }}-${{ github.workflow }}-${{ github.ref }}
   cancel-in-progress: ${{github.event_name == 'pull_request'}}
 
 permissions:
index 6797770d257127305f2d4cdcfd7fa6c28410c0a0..1c05dbe5b1f3f667f0b8b8ac041828f6f771d237 100644 (file)
@@ -10,7 +10,7 @@ on:
     - ready_for_review
 
 concurrency:
-  group: ${ {github.event_name }}-${{ github.workflow }}-${{ github.ref }}
+  group: ${github.event_name }}-${{ github.workflow }}-${{ github.ref }}
   cancel-in-progress: ${{github.event_name == 'pull_request'}}
 
 permissions:
index 770119582e2b4d5ae58c6267e8af6098b959ac3c..824a461cf82e7ed57e920d04b469c4d5ef796a17 100644 (file)
@@ -10,7 +10,7 @@ on:
     - ready_for_review
 
 concurrency:
-  group: ${ {github.event_name }}-${{ github.workflow }}-${{ github.ref }}
+  group: ${github.event_name }}-${{ github.workflow }}-${{ github.ref }}
   cancel-in-progress: ${{github.event_name == 'pull_request'}}
 
 jobs:
index 93cfa804a3aea760a78a5494dfff0456b358a083..ab87da38bf1bc308147f37a4a458759059f2e378 100644 (file)
@@ -10,7 +10,7 @@ on:
     - ready_for_review
 
 concurrency:
-  group: ${ {github.event_name }}-${{ github.workflow }}-${{ github.ref }}
+  group: ${github.event_name }}-${{ github.workflow }}-${{ github.ref }}
   cancel-in-progress: ${{github.event_name == 'pull_request'}}
 
 permissions:

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.