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,46 +200,49 @@ SOFTWARE.*/
                   #block(
                     below: 1.5em,
                     width: 100%,
-                    par(hanging-indent: 1em, align(left)[
+                    par(
-                      #text(weight: "bold", entry.short)
+                      hanging-indent: 1em,
-                      #if hasLong and hasDesc [
+                      align(left)[
-                        (#text(entry.long))
+                        #text(weight: "bold", entry.short)
-                      ] else if hasLong {
+                        #if hasLong and hasDesc [
-                        text(entry.long)
+                          (#text(entry.long))
-                      }
+                        ] else if hasLong {
-                      #if hasDesc [ #sym.dash.en ]
+                          text(entry.long)
-                      #if hasDesc [ #desc ]
+                        }
-                      #if disable-back-references != true {
+                        #if hasDesc [ #sym.dash.en ]
-                        term_references
+                        #if hasDesc [ #desc ]
-                          .map(x => x.location())
+                        #if disable-back-references != true {
-                          .sorted(key: x => x.page())
+                          term_references
-                          .fold(
+                            .map(x => x.location())
-                            (values: (), pages: ()),
+                            .sorted(key: x => x.page())
-                            ((values, pages), x) => if pages.contains(
+                            .fold(
-                              x.page(),
+                              (values: (), pages: ()),
-                            ) {
+                              ((values, pages), x) => if pages.contains(
-                              (values: values, pages: pages)
+                                x.page(),
-                            } else {
+                              ) {
-                              values.push(x)
+                                (values: values, pages: pages)
-                              pages.push(x.page())
+                              } else {
-                              (values: values, pages: pages)
+                                values.push(x)
-                            },
+                                pages.push(x.page())
-                          )
+                                (values: values, pages: pages)
-                          .values
+                              },
-                          .map(x => {
+                            )
-                              let page-numbering = x.page-numbering()
+                            .values
-                              if page-numbering == none {
+                            .map(x => {
-                                page-numbering = "1"
+                                let page-numbering = x.page-numbering()
+                                if page-numbering == none {
+                                  page-numbering = "1"
+                                }
+                                link(x)[#numbering(
+                                    page-numbering,
+                                    ..counter(page).at(x),
+                                  )]
                               }
-                              link(x)[#numbering(
+                            )
-                                  page-numbering,
+                            .join(", ")
-                                  ..counter(page).at(x),
+                        }
-                                )]
+                      ],
-                            }
+                    ),
-                          )
-                          .join(", ")
-                      }
-                    ]),
                   )
                 ]
               }