Adding Verita workflow

.github/workflows/verita_formal.yml

@@ -0,0 +1,57 @@
+
+name: Verita - Formal Specification
+
+on:
+  push:
+    branches:
+      - main    # Run on main branch
+  pull_request:
+    types: [opened, synchronize, reopened]
+
+jobs:
+  openjml:
+    name: Run OpenJML
+    runs-on: ubuntu-latest
+
+    steps:
+      - name: Checkout repository
+        uses: actions/checkout@v3
+      - name: Set up JDK 11
+        uses: actions/setup-java@v3
+        with:
+          java-version: '11'
+          distribution: 'temurin'
+      - name: Download OpenJML
+        run: |
+          sudo wget https://github.com/OpenJML/OpenJML/releases/download/0.21.0-alpha-0/openjml-ubuntu-22.04-0.21.0-alpha-0.zip -O /openjml-ubuntu-22.04-0.21.0-alpha-0.zip
+          sudo unzip /openjml-ubuntu-22.04-0.21.0-alpha-0.zip -d /OpenJML-0.21.0-alpha-0
+      - name: Verify OpenJML installation
+        run: |
+          echo $PATH
+          /OpenJML-0.21.0-alpha-0/openjml -version
+      - name: clone git repo
+        run: |
+          REPO_URL="https://github.com/${GITHUB_REPOSITORY}.git"
+          git clone $REPO_URL repo_src
+          cd repo_src
+      - name: Identify Latest Changes
+        run: |
+          git log --name-only --pretty="" -n 1
+      - name: Run OpenJML and save logs
+        run: |
+          shopt -s globstar
+          /OpenJML-0.21.0-alpha-0/openjml -esc -progress ./src/**/*.java ./src/*.java 2>&1 | tee openjml.log
+          echo "Logs have been saved to $(pwd)/openjml.log"
+      - name: Send OpenJML logs to verita
+        run: |
+          REPO_NAME=$(echo $GITHUB_REPOSITORY)
+          BRANCH_NAME=$(git rev-parse --abbrev-ref HEAD)
+          COMMIT_ID=$(git rev-parse --short HEAD)
+          FILE_NAME="log_${GITHUB_REPOSITORY//\//_}_${BRANCH_NAME}_${COMMIT_ID}.log"
+          sudo curl --location 'https://verita-logger-api.dpacks.net' \
+          --header 'x-api-key: 248frv384' \
+          --form "filename=${FILE_NAME}" \
+          --form "repository=${REPO_NAME}" \
+          --form "branch=main" \
+          --form "commit_id=${COMMIT_ID}" \
+          --form "file=@$(pwd)/openjml.log"