ci: remove run condition for CI on push on main

.gitea/workflows/ci.yml

@@ -2,9 +2,6 @@ name: Build'n check
 run-name: Performing Typst compilation
 on:
   push:
-  pull_request:
-    branches:
-      - main
 jobs:
   run-ci-linux:
     runs-on: ubuntu-latest
@@ -12,8 +9,7 @@ jobs:
     # push with commit containing "Run-Checks"
     if: >
       (contains(github.event.head_commit.message, 'Run-Checks') &&
-      github.event_name == 'push') ||
+      github.event_name == 'push')
-      github.event_name == 'pull_request'
     steps:
       - name: Check out repository code
         uses: actions/checkout@v3

shell.nix

@@ -9,5 +9,6 @@ pkgs.mkShellNoCC {
     python312Packages.pyyaml
     typst
     typstyle
+    ripgrep
   ];
 }

src/glossarium.typ

@@ -200,7 +200,9 @@ SOFTWARE.*/
                   #block(
                     below: 1.5em,
                     width: 100%,
-                    par(hanging-indent: 1em, align(left)[
+                    par(
+                      hanging-indent: 1em,
+                      align(left)[
                         #text(weight: "bold", entry.short)
                         #if hasLong and hasDesc [
                           (#text(entry.long))
@@ -239,7 +241,8 @@ SOFTWARE.*/
                             )
                             .join(", ")
                         }
-                    ]),
+                      ],
+                    ),
                   )
                 ]
               }