minor improvements

cu1ch3n · Jan 6, 2025 · e0d9e44 · e0d9e44
1 parent 1718d3a
commit e0d9e44
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 1 deletion.
diff --git a/README.md b/README.md
@@ -1,7 +1,9 @@
 # Type Inference Zoo
 
+![Build Status](https://github.com/cu1ch3n/type-inference-zoo/actions/workflows/build.yml/badge.svg)
 ![License](https://img.shields.io/badge/license-MIT-blue.svg)
 
+
 Welcome to **Type Inference Zoo**! This project is dedicated to implementing a variety of type inference algorithms. It serves as a personal project, as I am trying to understand the type inference algorithms well by implmenting them. Considering that it might be helpful for those who are also exploring type inference algoreithms, I am glad to make them avaliable online.
 
 🗿🗿🗿 There are indeed animals (implementations) in the zoo, not only references to animals.

diff --git a/frontend/.vitepress/config.mts b/frontend/.vitepress/config.mts
@@ -16,5 +16,6 @@ export default defineConfig({
     socialLinks: [
       { icon: 'github', link: 'https://github.com/cu1ch3n/type-inference-zoo' }
     ]
-  }
+  },
+  cleanUrls: true
 })