❌ Taking out docker build support as it takes too much space on git.

.github/workflows/build.yml

@@ -14,9 +14,3 @@ jobs:
 
       - name: Set up Docker Buildx
         uses: docker/setup-buildx-action@v2
-
-      - name: Build
-        uses: docker/build-push-action@v4
-        with:
-          file: Dockerfile.jax
-          push: false

README.md

@@ -32,6 +32,6 @@ Submit a text and let Quint analyze it. The endpoint returns the index of the mo
 
 ### 📖 License
 
-This project is licensed under the MIT License - see the [LICENSE.md](LICENSE.md) file for details.
+This project is licensed under the MIT License - see the [LICENSE.md](LICENSE) file for details.
 
 Feel free to adjust as necessary, and replace placeholders like the documentation link as appropriate.