Tesint github summary

.github/workflows/analysis.yml

@@ -0,0 +1,67 @@
+name: Analysis of DiffKemp equivalence checking
+
+on: [push, pull_request]
+
+jobs:
+  EqBench:
+    runs-on: ubuntu-latest
+    # todo refactor with ci.yaml - maybe creating action for building diffkemp
+    env:
+      llvm: 16
+      CC: gcc-9
+      CXX: g++-9
+      asan: OFF
+    steps:
+      - uses: actions/checkout@v3
+
+      - name: Delete unused software
+        run: |
+          sudo rm -rf /usr/local/lib/android
+          sudo rm -rf /usr/share/dotnet
+          sudo rm -rf /opt/ghc
+          sudo rm -rf /opt/hostedtoolcache/CodeQL
+
+      - name: Setup Python
+        uses: actions/setup-python@v4
+        with:
+          python-version: 3.9
+
+      - name: Install Dependencies
+        working-directory: ${{ github.workspace }}
+        shell: bash
+        run: |
+          sudo apt-get install bc cscope libelf-dev ninja-build
+          pip install -r requirements.txt
+
+      - name: Install LLVM
+        run: |
+          wget -O - https://apt.llvm.org/llvm-snapshot.gpg.key | sudo apt-key add -
+          sudo add-apt-repository "deb http://apt.llvm.org/focal/ llvm-toolchain-focal-${{ matrix.llvm }} main"
+          sudo apt-get update
+          sudo apt-get install llvm-${{ env.llvm }} llvm-${{ env.llvm }}-dev clang-${{ matrix.llvm }}
+          sudo ln -s /usr/lib/llvm-${{ env.llvm }} /usr/local/lib/llvm
+          echo "/usr/lib/llvm-${{ env.llvm }}/bin" >> $GITHUB_PATH
+
+          - name: Prepare Build Environment
+          run: |
+            mkdir -p ${{ github.workspace }}/build
+  
+      - name: CMake
+        env: ${{ env }}
+        working-directory: ${{ github.workspace }}/build
+        shell: bash
+        run: cmake $GITHUB_WORKSPACE -GNinja -DSANITIZE_ADDRESS=${{ env.asan }} -DVENDOR_GTEST=On
+
+      - name: Build
+        env: ${{ env }}
+        working-directory: ${{ github.workspace }}/build
+        run: ninja
+
+      - name: Install
+        env: ${{ env }}
+        working-directory: ${{ github.workspace }}
+        run: pip3 install -e .
+
+      - name: Summary
+        run: echo ahoj >> $GITHUB_STEP_SUMMARY
+