Fixed glob pattern for path_filter

jneug · Jun 28, 2024 · 8490b3e · 8490b3e
1 parent aaecd93
commit 8490b3e
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 2 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -21,7 +21,7 @@ jobs:
           list-files: shell
           filters: |
             typst:
-              - added|modified: '*.typ'
+              - added|modified: '**/*.typ'
 
       - name: Install fish shell
         if: ${{ steps.filter.outputs.typst == 'true' }}

diff --git a/Informatik/Arbeitsheft/Arbeitsheft EF.typ b/Informatik/Arbeitsheft/Arbeitsheft EF.typ
@@ -29,7 +29,6 @@ _Endlich_ bedeutet, dass der Algorihtmus irgendwann zu einem Ende kommt und nich
 / Finitheit: Der Algorihtmus lässt sich mit einer endlichen Anzahl Befehlen aufschreiben.
 / Determiniertheit: Der Algorihtmus hat eine eindeutige Abfolge von Befehlen.
 / Determinismus: Der Algorihtmus produiert für gleiche Eingaben immer dieselbe Ausgabe.
-/ Sicherheit: Die Sicherheit des Algorithmus.
 
 == Imperative Programmierung