File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 1414permissions :
1515 contents : read
1616
17+ env :
18+ HYPATIA_DIR : ${{ github.workspace }}/hypatia
19+
1720jobs :
1821 scan :
1922 name : Hypatia Neurosymbolic Analysis
@@ -33,12 +36,12 @@ jobs:
3336
3437 - name : Clone Hypatia
3538 run : |
36- if [ ! -d "$HOME/hypatia " ]; then
37- git clone https://github.com/hyperpolymath/hypatia.git "$HOME/hypatia "
39+ if [ ! -d "$HYPATIA_DIR " ]; then
40+ git clone https://github.com/hyperpolymath/hypatia.git "$HYPATIA_DIR "
3841 fi
3942
4043 - name : Build Hypatia scanner (if needed)
41- working-directory : ${{ env.HOME }}/hypatia
44+ working-directory : ${{ env.HYPATIA_DIR }}
4245 run : |
4346 if [ ! -f hypatia-v2 ]; then
4447 echo "Building hypatia-v2 scanner..."
5457 echo "Scanning repository: ${{ github.repository }}"
5558
5659 # Run scanner
57- HYPATIA_FORMAT=json "$HOME/hypatia /hypatia-cli.sh" scan . > hypatia-findings.json
60+ HYPATIA_FORMAT=json "$HYPATIA_DIR /hypatia-cli.sh" scan . > hypatia-findings.json
5861
5962 # Count findings
6063 FINDING_COUNT=$(jq '. | length' hypatia-findings.json 2>/dev/null || echo 0)
You can’t perform that action at this time.
0 commit comments