Upgrade, fix, package, add workflow

.envrc

@@ -0,0 +1,2 @@
+watch_file package-lock.json
+use flake

.github/workflows/ci.yml → .github/workflows/deploy.yml

@@ -23,6 +23,14 @@ jobs:
         with:
           path: dist/nemo-doc
 
+  check-links:
+    name: "Check for broken links"
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+      - uses: DeterminateSystems/nix-installer-action@v12
+      - run: nix --print-build-logs run .#check-links
+
   deploy:
     needs: build
     permissions:

.github/workflows/pr.yml

@@ -0,0 +1,31 @@
+name: CI
+
+on:
+  pull_request:
+    branches:
+      - main
+
+jobs:
+  build-with-nix:
+    name: "Build nix package"
+    runs-on: ubuntu-latest
+    concurrency:
+      group: "build-nix"
+      cancel-in-progress: true
+
+    steps:
+      - uses: actions/checkout@v4
+      - uses: DeterminateSystems/nix-installer-action@v12
+      - run: nix --print-build-logs build .#nemo-doc
+
+  check-links:
+    name: "Check for broken links"
+    runs-on: ubuntu-latest
+    concurrency:
+      group: "check-links"
+      cancel-in-progress: true
+
+    steps:
+      - uses: actions/checkout@v4
+      - uses: DeterminateSystems/nix-installer-action@v12
+      - run: nix --print-build-logs run .#check-links

.gitignore

@@ -22,3 +22,9 @@ pnpm-debug.log*
 
 # vscode
 .vscode/
+
+/result*
+*~
+\#*#
+/.dream2nix/
+/.direnv/

astro.config.mjs

@@ -45,58 +45,60 @@ export default defineConfig({
   site: "https://knowsys.github.io/",
   base,
   outDir: "./dist/nemo-doc",
-  integrations: [starlight({
-    title: "Nemo",
-    customCss: [
-      "./src/tailwind.css",
-      "./src/styles/custom.css",
-      // Fontsource files for to regular and semi-bold font weights.
-      "@fontsource/comfortaa/400.css",
-      "@fontsource/comfortaa/600.css",
-    ],
-    favicon: "/favicon.svg",
-    social: {
-      github: "https://github.com/knowsys/nemo",
-    },
-    components: {
-      SiteTitle: "./src/components/SiteTitle.astro",
-    },
-    sidebar: [
-      {
-        label: "Introduction",
-        items: [
-          {label: "Introducing Nemo", slug: "intro/welcome"},
-          {label: "Ways of using Nemo", slug: "intro/usage"},
-          {label: "Rule Language", slug: "intro/tour"},
-          {label: "Nemo examples", slug: "intro/examples"},
-          {label: "Nemo research", slug: "intro/research"},
-
-        ]
-      },
-      {
-        label: "Installation and usage",
-        items: [
-          // Each item here is one entry in the navigation menu.
-          { label: "Nemo in the browser", slug: "installation/browser" },
-          { label: "Installation", slug: "installation/install" },
-          { label: "Command Line", slug: "installation/cli" },
-          { label: "Wasm Integration", slug: "installation/wasm" },
-          { label: "Python API", slug: "installation/python" },
-          { label: "Rust API", slug: "installation/rust" },
-
-        ],
+  integrations: [
+    starlight({
+      title: "Nemo",
+      customCss: [
+        "./src/tailwind.css",
+        "./src/styles/custom.css",
+        // Fontsource files for to regular and semi-bold font weights.
+        "@fontsource/comfortaa/400.css",
+        "@fontsource/comfortaa/600.css",
+      ],
+      favicon: "/favicon.svg",
+      social: [
+        {
+          icon: "github",
+          label: "GitHub",
+          href: "https://github.com/knowsys/nemo",
+        },
+      ],
+      components: {
+        SiteTitle: "./src/components/SiteTitle.astro",
       },
-      {
-        label: "Language Reference",
-        items: [
-          { label: "Import", slug: "reference/imports" },
-          { label: "Export", slug: "reference/exports" },
-          { label: "Builtin Functions", slug: "reference/builtins" },
-          { label: "Datatypes", slug: "reference/datatypes" },
-          { label: "Attributes", slug: "reference/attributes" },
-          { label: "Aggregates", slug: "reference/aggregates" },
-
-          ]
+      sidebar: [
+        {
+          label: "Introduction",
+          items: [
+            { label: "Introducing Nemo", slug: "intro/welcome" },
+            { label: "Ways of using Nemo", slug: "intro/usage" },
+            { label: "Rule Language", slug: "intro/tour" },
+            { label: "Nemo examples", slug: "intro/examples" },
+            { label: "Nemo research", slug: "intro/research" },
+          ],
+        },
+        {
+          label: "Installation and usage",
+          items: [
+            // Each item here is one entry in the navigation menu.
+            { label: "Nemo in the browser", slug: "installation/browser" },
+            { label: "Installation", slug: "installation/install" },
+            { label: "Command Line", slug: "installation/cli" },
+            { label: "Wasm Integration", slug: "installation/wasm" },
+            { label: "Python API", slug: "installation/python" },
+            { label: "Rust API", slug: "installation/rust" },
+          ],
+        },
+        {
+          label: "Language Reference",
+          items: [
+            { label: "Import", slug: "reference/imports" },
+            { label: "Export", slug: "reference/exports" },
+            { label: "Builtin Functions", slug: "reference/builtins" },
+            { label: "Datatypes", slug: "reference/datatypes" },
+            { label: "Attributes", slug: "reference/attributes" },
+            { label: "Aggregates", slug: "reference/aggregates" },
+          ],
         },
       ],
     }),
@@ -126,12 +128,12 @@ export default defineConfig({
     ],
     resolve: {
       alias: {
-        '@assets': '/src/assets',
-        '@lib': '/src/lib',
-        '@components': '/src/components',
-        '@layouts': '/src/layouts',
-        '@pages': '/src/pages',
+        "@assets": "/src/assets",
+        "@lib": "/src/lib",
+        "@components": "/src/components",
+        "@layouts": "/src/layouts",
+        "@pages": "/src/pages",
       },
     },
   },
-});
+});