chore: imported CI and PR template from mono repo

Author: RSoulatIOHK

.github/pull_request_template.md

@@ -0,0 +1,24 @@
+# Title of the PR
+
+## Description
+
+Please include a summary of the change. You can rely on CodeRabbitAI to fill in the details of the changes.
+
+If applicable:
+
+- Include a link to the issue that is fixed (Epic/Story/Task).
+- @mentions of any relevant people or teams.
+
+## Checklist
+
+- [ ] Commit messages broadly make sense and follow the [Conventional Commits](https://www.conventionalcommits.org/en/v1.0.0/) format.
+- [ ] PR targets master/develop
+- [ ] New tests are added for the changes (if not, mention it in the PR description). These may include:
+  - [ ] Unit tests,
+  - [ ] Integration tests,
+  - [ ] Property-Based testing,
+  - [ ] End-to-end tests.
+- [ ] The new version builds and passes all tests. If not, please mention it in the PR description.
+- [ ] Self review of the code has been done.
+- [ ] Reviewer has been requested.
+<!-- -[ ] The contribution follows our CONTRIBUTING.md guidelines -->

.github/workflows/ci-linux.yaml

@@ -0,0 +1,106 @@
+name: ci-linux
+
+on:
+  pull_request:
+  push:
+    branches:
+      - "main"
+      - "staging"
+
+concurrency:
+  group: ${{ github.ref }}
+  cancel-in-progress: true
+
+env:
+  LEAN_VERSION: 4.22.0
+  Z3_VERSION: 4.13.4
+
+jobs:
+  build:
+    runs-on:
+      labels: ubuntu-latest
+
+    steps:
+      - name: Setup Lean
+        run: |
+          curl https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh -sSf | sh -s -- -y
+          echo "/home/runner/.elan/bin" >> $GITHUB_PATH
+          chmod +x /home/runner/.elan/bin/*
+
+      - name: Fix Elan version
+        run: |
+          elan toolchain install ${{ env.LEAN_VERSION }}
+          elan default ${{ env.LEAN_VERSION }}
+
+      - name: Install Z3
+        run: |
+          cd /home/runner/
+          wget -q https://github.com/Z3Prover/z3/releases/download/z3-${{ env.Z3_VERSION }}/z3-${{ env.Z3_VERSION }}-x64-glibc-2.35.zip
+          unzip -q z3-${{ env.Z3_VERSION }}-x64-glibc-2.35.zip
+          chmod +x z3-${{ env.Z3_VERSION }}-x64-glibc-2.35.zip
+          echo "/home/runner/z3-${{ env.Z3_VERSION }}-x64-glibc-2.35/bin" >> $GITHUB_PATH
+
+      - name: Tools version
+        run: |
+          elan --version
+          lake --version
+          lean --version
+          z3 --version
+
+      - name: Cache Z3
+        uses: actions/cache@v3
+        id: z3-cache
+        with:
+          path: /home/runner/z3-${{ env.Z3_VERSION }}-x64-glibc-2.35/bin
+          key: z3-${{ env.Z3_VERSION }}
+          restore-keys: z3-
+
+      - name: Cache .elan
+        uses: actions/cache@v3
+        id: elan-cache
+        with:
+          path: /home/runner/.elan/bin
+          key: elan-${{ env.LEAN_VERSION }}
+          restore-keys: elan-
+
+
+  check-packages:
+    needs: build
+    runs-on: ubuntu-latest-16-cores
+
+    steps:
+      - uses: actions/checkout@v4
+
+      - name: Restore Lean
+        uses: actions/cache@v3
+        with:
+          path: /home/runner/.elan/bin
+          key: elan-${{ env.LEAN_VERSION }}
+          restore-keys: elan-
+
+      - name: Restore Z3
+        uses: actions/cache@v3
+        with:
+          path: /home/runner/z3-${{ env.Z3_VERSION }}-x64-glibc-2.35/bin
+          key: z3-${{ env.Z3_VERSION }}
+          restore-keys: z3-
+
+      - name: Add Lean to PATH
+        run: |
+         echo "/home/runner/.elan/bin" >> $GITHUB_PATH
+         echo "/home/runner/z3-${{ env.Z3_VERSION }}-x64-glibc-2.35/bin" >> $GITHUB_PATH
+
+      - name: Configure Lean toolchain
+        run: elan default ${{ env.LEAN_VERSION }}
+
+      - name: Tools version
+        run: |
+          elan --version
+          lake --version
+          lean --version
+          z3 --version
+
+      - name: Build and Validate Project
+        run: |
+          lake build
+          lake test