CI/CD

.github/ISSUE_TEMPLATE/bug_report.yml

@@ -0,0 +1,42 @@
+name: Bug report
+description: Create a report to help us improve.
+body:
+ - type: markdown
+   attributes: 
+     value: |
+      ### Bug Report
+      Note, your issue might have been already reported, please check [issues](https://github.com/HigherOrderCO/HVM3-Strict/issues). If you find a similar issue, respond with a reaction or any additional information that you feel may be helpful.
+
+      ### For Windows Users
+      There is currently no native way to install HVM, as a temporary workaround, please use [WSL2](https://learn.microsoft.com/en-us/windows/wsl/install).
+
+ - type: textarea
+   attributes:
+    label: Reproducing the behavior
+    description: A clear and concise description of what the bug is.
+    value: |
+      Example:
+       Running command...
+       With code....
+       Error...
+       Expected behavior....
+   validations:
+    required: true
+
+ - type: textarea
+   attributes:
+    label: System Settings
+    description: Your System's settings
+    value: |
+     Example:
+      - OS: [e.g. Linux (Ubuntu 22.04)]
+      - CPU: [e.g. Intel i9-14900KF]
+      - GPU: [e.g. RTX 4090]
+      - Cuda Version [e.g. release 12.4, V12.4.131]
+   validations:
+     required: true
+ - type: textarea
+   attributes:
+    label: Additional context
+    description: Add any other context about the problem here (Optional). 
+

.github/ISSUE_TEMPLATE/config.yml

@@ -0,0 +1,5 @@
+blank_issues_enabled: false
+contact_links: 
+    - name: Bend2 Related Issues
+      url: https://github.com/HigherOrderCO/Bend2/issues/new/choose
+      about: For Bend2 related Issues, please Report them on the Bend2 repository.

.github/ISSUE_TEMPLATE/feature_request.md

@@ -0,0 +1,19 @@
+---
+name: Feature request
+about: Suggest a feature that you think should be added.
+title: ''
+labels: ''
+
+---
+
+**Is your feature request related to a problem? Please describe.**
+A clear and concise description of what the problem is. Ex. I'm frustrated when [...]
+
+**Describe the solution you'd like**
+A clear and concise description of what you want to happen.
+
+**Describe alternatives you've considered**
+A clear and concise description of any alternative solutions or features you've considered.
+
+**Additional context**
+Add any other context or screenshots about the feature request here.

.github/workflows/CI.yml

@@ -0,0 +1,52 @@
+name: Bend2 CI
+on:
+  push:
+    branches: [ main ]
+  pull_request:
+    branches: [ main ]
+jobs:
+  bend2-pipeline:
+    name: Bend2 CI (${{ matrix.os }})
+    runs-on: ${{ matrix.os }}
+    strategy:
+      fail-fast: false
+      matrix:
+        os: [macos-latest]
+
+    steps:
+      - name: Checkout repository
+        uses: actions/checkout@v3
+
+      - name: Set up GHC and Cabal
+        uses: haskell-actions/setup@v2
+        id: setup-haskell
+        with:
+          ghc-version: '9.12.2'
+          cabal-version: '3.16'
+
+      - name: Update Cabal package list
+        run: cabal update
+
+      - name: Install system dependencies
+        run: |
+          if [ "${{ matrix.os }}" == "macos-latest" ]; then
+            brew install libffi
+          fi
+        shell: bash
+
+      - name: Cache Cabal packages
+        uses: actions/cache@v3
+        with:
+          path: |
+            ${{ steps.setup-haskell.outputs.cabal-store }}
+            ~/.cabal/packages
+            ~/.cabal/store
+          key: ${{ runner.os }}-cabal-${{ hashFiles('**/*.cabal', 'cabal.project*') }}
+          restore-keys: |
+            ${{ runner.os }}-cabal-
+
+      - name: Build dependencies
+        run: cabal build --only-dependencies
+
+      - name: Build the project
+        run: cabal build