Skip to content

Commit

Permalink
Cat file and pipe it to jq to avoid macos failure
Browse files Browse the repository at this point in the history
  • Loading branch information
celinval committed Jan 3, 2025
1 parent 0ebb862 commit a8e0e41
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 9 deletions.
8 changes: 0 additions & 8 deletions .github/workflows/kani.yml
Original file line number Diff line number Diff line change
Expand Up @@ -2,14 +2,6 @@ name: Kani

on:
workflow_dispatch:
merge_group:
pull_request:
branches: [ main ]
push:
paths:
- 'library/**'
- '.github/workflows/kani.yml'
- 'scripts/run-kani.sh'

defaults:
run:
Expand Down
3 changes: 2 additions & 1 deletion scripts/check_rustc.sh
Original file line number Diff line number Diff line change
Expand Up @@ -51,7 +51,8 @@ echo "$COMMIT_ID for rustc is"
# Get the full commit ID for shallow clone
curl -H "Connection: close" -o "${TMP_RUST_DIR}/output.json" -s --show-error \
"https://api.github.com/repos/rust-lang/rust/commits?sha=${COMMIT_ID}&per_page=1"
COMMIT_ID=$(jq -r '.[0].sha' "${TMP_RUST_DIR}/output.json")

COMMIT_ID=$(cat "${TMP_RUST_DIR}/output.json" | jq -r '.[0].sha')

# Clone the rust-lang/rust repository
echo "Cloning rust-lang/rust repository into ${TMP_RUST_DIR}..."
Expand Down

0 comments on commit a8e0e41

Please sign in to comment.