Deploying to wws from @ 2496aa2 🚀

breck7 · Sep 11, 2024 · 807c3ad · 807c3ad
1 parent c22e377
commit 807c3ad
Show file tree

Hide file tree

Showing 5 changed files with 1,418 additions and 408 deletions.
diff --git a/Computer.js b/Computer.js
@@ -1774,7 +1774,7 @@ class Tables {
 
   get labs() {
     const files = lodash.sortBy(
-      this.pldb.filter(file => file.isLanguage && file.lab?.length),
+      this.pldb.filter(file => file.lab?.length),
       "rank"
     )
 

diff --git a/blog/feed.xml b/blog/feed.xml
@@ -4,7 +4,7 @@
  <title>Feed</title>
  <link>https://pldb.io/</link>
  <description>PLDB: a Programming Language Database. Build the next great programming language.</description>
- <lastBuildDate>Wed, 11 Sep 2024 04:06:49 +0000</lastBuildDate>
+ <lastBuildDate>Wed, 11 Sep 2024 04:07:59 +0000</lastBuildDate>
  <language>en-us</language>
  <item>
   <title>A brief interview with Microsoft SandDance creator Steven Drucker</title>