From e6434c9e44886b2aa2f1f02e5894a97d8ef62916 Mon Sep 17 00:00:00 2001
From: omerfaruk <omer.erzurumluoglu@std.bogazici.edu.tr>
Date: Fri, 29 Nov 2024 00:54:54 +0300
Subject: [PATCH] Add GitHub Actions workflow for installation verification

---
 .github/workflows/release.yml | 57 +++++++++++++++++++++++++++++++++++
 1 file changed, 57 insertions(+)
 create mode 100644 .github/workflows/release.yml

diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
new file mode 100644
index 0000000..604b614
--- /dev/null
+++ b/.github/workflows/release.yml
@@ -0,0 +1,57 @@
+name: Check_installation
+
+on:
+    push:
+      branches:
+        - main
+      paths:
+        - src/**
+        - include/**
+        - CMakeLists.txt
+    pull_request:
+      paths:
+        - src/**
+        - include/**
+        - CMakeLists.txt
+    workflow_dispatch:
+
+jobs:
+    bloaty-job:
+        runs-on: ubuntu-latest
+        container:
+            image: ghcr.io/bounverif/rvstd:latest
+            credentials:
+                username: ${{ github.actor }}
+                password: ${{ secrets.github_token }}
+
+        steps:
+            - name: Check out the repository
+              uses: actions/checkout@v4
+            
+            - name: Configure and build this project
+              uses: threeal/cmake-action@latest
+              with:
+                build-dir: build
+                args: -DCMAKE_BUILD_TYPE=RELEASE
+            
+            - name: Install the library
+              run: cmake --install build --prefix /usr/local
+            
+            - name: Verify installation
+              run: |
+                if [ -f /usr/local/lib/librvstd.a ]; then
+                  echo "librvstd.a is installed."
+                else
+                  echo "librvstd.a is not installed."
+                  exit 1
+                fi
+
+            - name: Check if the rvstd file has been generated
+              run: |
+                if [ -f /usr/local/include/rvstd ]; then
+                  echo "rvstd file is generated."
+                else
+                  echo "rvstd file is not generated."
+                  exit 1
+                fi
+            
\ No newline at end of file