Merge branch 'develop' into duckdb

Author: canaleal

.gitpod.yml

@@ -8,15 +8,6 @@ tasks:
   - name: Build CSS & run web server
     init: npm run build-css && npm run dev
 
-github:
-  prebuilds:
-    addBadge: true
-    addComment: false
-    addCheck: true
-    master: true
-    branches: true
-    pullRequestsFromForks: true
-
 ports:
   - port: 8000
     onOpen: open-preview

devicon.json

@@ -5919,6 +5919,33 @@
             }
         ]
     },
+    {
+        "name": "kaldi",
+        "altnames": [],
+        "tags": [
+            "audio",
+            "open-source",
+            "library"
+        ],
+        "versions": {
+            "svg": [
+                "original",
+                "original-wordmark",
+                "plain",
+                "plain-wordmark",
+                "line",
+                "line-wordmark"
+            ],
+            "font": [
+                "plain",
+                "plain-wordmark",
+                "line",
+                "line-wordmark"
+            ]
+        },
+        "color": "#8c6432",
+        "aliases": []
+    },
     {
         "name": "kalilinux",
         "altnames": [
@@ -9772,6 +9799,27 @@
             }
         ]
     },
+    {
+        "name": "racket",
+        "altnames": [],
+        "tags": [
+            "programming",
+            "language"
+        ],
+        "versions": {
+            "svg": [
+                "original",
+                "plain",
+                "line"
+            ],
+            "font": [
+                "plain",
+                "line"
+            ]
+        },
+        "color": "#9f1d20",
+        "aliases": []
+    },
     {
         "name": "rails",
         "altnames": [
@@ -12359,6 +12407,32 @@
         "color": "#398ccb",
         "aliases": []
     },
+    {
+        "name": "turbo",
+        "altnames": [],
+        "tags": [
+            "spa",
+            "js"
+        ],
+        "versions": {
+            "svg": [
+                "original",
+                "original-wordmark",
+                "plain-wordmark"
+            ],
+            "font": [
+                "original",
+                "plain-wordmark"
+            ]
+        },
+        "color": "#5cd8e5",
+        "aliases": [
+            {
+                "base": "original",
+                "alias": "plain"
+            }
+        ]
+    },
     {
         "name": "twitter",
         "altnames": [