Deploying to web from @ b188ade 🚀

Agda-zh · Apr 8, 2024 · 6cbd189 · 6cbd189
1 parent e23b684
commit 6cbd189
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/plfa.epub b/plfa.epub
diff --git a/rss.xml b/rss.xml
@@ -8,7 +8,7 @@
     </description>
     <language>zh-CN</language>
     <atom:link href="https://agda-zh.github.io/PLFA-zh//rss.xml" rel="self" type="application/rss+xml" />
-    <lastBuildDate>Mon, 08 Apr 2024 23:36:22 +0000</lastBuildDate>
+    <lastBuildDate>Mon, 08 Apr 2024 23:35:53 +0000</lastBuildDate>
         <item>
       <title>Migration to Agda 2.6.3</title>
       <link>https://agda-zh.github.io/PLFA-zh//2023/02/26/migration-to-agda-2-6-3/index.html</link>