diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 48a3ba8..9cb928b 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -1,7 +1,11 @@
 name: CI for GHCR
 
 on:
-  workflow_dispatch:
+  
+  workflow_dispatch: # Manually trigger the workflow
+  push:
+    tags:
+      - 'v*.*.*'
     branches:
       - 'main'
 
diff --git a/CHANGELOG.md b/CHANGELOG.md
new file mode 100644
index 0000000..d8157cb
--- /dev/null
+++ b/CHANGELOG.md
@@ -0,0 +1,104 @@
+# Change Log
+
+## v1.5.0 [2024-10-07]
+### Added
+ - ✨ Limboole in editor language support (browser worker)
+ - ✨ Store playground version for future reference
+### Changed
+  - ⚡Migrated from JavaScript to TypeScript
+  - ♻️Merged some duplicate API endpoints
+
+## v1.4.2 [2024-09-28]
+### What's changed?
+- 📌Bump esbuild from 0.20.2 to 0.21.5
+- 📌Bump micromatch from 4.0.5 to 4.0.8
+- 📝Added new examples for SAT, SMT, and Alloy
+- 📝Linked YouTube playlist on the readme
+
+## v1.4.1 [2024-08-17]
+### What's changed?
+- 🐛Fixed #9 - Alloy's subset singnature indication missing in instances
+- 🐛Fixed #8 - unexpected behavior on last instance of temporal Alloy models
+- 📌Bump axios from 1.6.2 to 1.7.4
+
+## v1.4.0 [2024-08-10]
+### What's changed?
+- Added alloy tabular and text output 
+- Bug Fixed- can't parse alloy integer label
+- Fixed- Unicode handling
+- Fixed- Alloy timeout
+- Disabled next instance button while calculating
+- Added rate limiter for alloy
+- Added download ext for spectra
+- Add SQLite option for local development
+
+
+## v1.3.0 [2024-07-09]
+### What's changed?
+
+- Removed legacy alloy4fun
+- Added new Alloy API with Spring Boot
+- Integrated Alloy UI into the main playground
+- Fixed #6 Limboole syntax error reporting blocks running
+- Removed DB migration on docker 
+- Fixed spectra line highlighting error
+- nuXmv tutorial URL changed
+- Updated workflow for docker build
+
+
+## v1.2.1 [2024-06-09]
+### What's changed?
+- Introduce new tool - Spectra Synthesizer
+- Line highlighting on the editor on error/core
+- Introduced dark mode
+- Compressing large response body
+- Migrated Z3 to the browser
+
+
+## v1.1.2 [2024-01-10]
+### Fix
+
+- Syntax highlighting fails when loading from permalinks 9991aa1c9c83c78fbd1d9849b5b80fd8efd19d19
+- Handle non-ASCII characters on specification
+- nuXmv time-out blocked by Gunicorn
+- Store the specification configuration on refresh/redirect
+- Exit fullscreen mode with ESC key keeps current ref
+- File upload type
+- Run button disable failed when running
+
+## v1.1.1 [2024-01-05]
+
+### Fix
+- GitHub link breaks on mobile device
+- After loading a spec from the history the output panel keeps the content of previous analyses, and the permalink is not updated
+- Keep the selected history highlighted
+- The search results reset to all specs after loading a spec
+
+
+## v1.1.0 [2023-12-28]
+### What’s Changed
+
+- Save user theme preference
+- Adjust the height on the fullscreen
+- Codebase minification on deployment
+- Upgrade Alloy-API to the latest maven and java
+- Introduce request limit with flask-limiter
+
+### Fix
+
+- Limboole parsing error #4
+- Copying empty permalink
+- API response error
+- nuXmv copyright notice
+
+
+## v1.0.0 [2023-12-21]
+### What's Changed
+
+- Completely rewritten frontend with React
+- Added login functionality with Google and GitHub
+- Added ability to save specifications
+- Added ability to download history as JSON
+- Search saved history 
+
+## v0.1 [2023-12-14]
\ No newline at end of file
diff --git a/frontend/.env.example b/frontend/.env.example
index 20fd651..e6c5764 100644
--- a/frontend/.env.example
+++ b/frontend/.env.example
@@ -1,2 +1,3 @@
 VITE_FMP_API_URL=http://localhost:8000/api
-VITE_FMP_VERSION=1.5.0
\ No newline at end of file
+VITE_FMP_VERSION=1.5.0
+VITE_FMP_UPDATE_SNACKBAR={"visible":"false","severity":"info","message":"No message"}
\ No newline at end of file
diff --git a/frontend/index.html b/frontend/index.html
index 99961e0..b46bdc7 100644
--- a/frontend/index.html
+++ b/frontend/index.html
@@ -1,18 +1,23 @@
 <!doctype html>
 <html lang="en">
-  <head>
-    <meta charset="UTF-8" />
-    <link rel="icon" type="image/png" href="logo_se.png" />
-    <meta name="viewport" content="width=device-width, initial-scale=1.0" />
-    <script src="z3-built.js"></script>
-    <script>
-      globalThis.global = { initZ3: globalThis.initZ3 };
-    </script>
-    <title>FM Playground</title>
-  </head>
-  <body>
-    <div id="root"></div>
-    <script type="module" src="/src/main.tsx"></script>
-    <script src="limboole.js"></script>
-  </body>
-</html>
+
+<head>
+  <meta charset="UTF-8" />
+  <link rel="icon" type="image/png" href="logo_se.png" />
+  <meta name="viewport" content="width=device-width, initial-scale=1.0" />
+  <script src="z3-built.js"></script>
+  <script>
+    globalThis.global = { initZ3: globalThis.initZ3 };
+  </script>
+  <script defer src="https://play.formal-methods.net/analytics/script.js"
+    data-website-id="af02a892-606f-4ad9-9966-e0867e55a797"></script>
+  <title>FM Playground</title>
+</head>
+
+<body>
+  <div id="root"></div>
+  <script type="module" src="/src/main.tsx"></script>
+  <script src="limboole.js"></script>
+</body>
+
+</html>
\ No newline at end of file
diff --git a/frontend/package.json b/frontend/package.json
index 807d375..b23b820 100644
--- a/frontend/package.json
+++ b/frontend/package.json
@@ -1,7 +1,7 @@
 {
   "name": "fmp-app",
   "private": true,
-  "version": "0.0.0",
+  "version": "1.5.0",
   "type": "module",
   "scripts": {
     "dev": "vite",