Skip to content

Commit

Permalink
ci: Fix bindgen path issue
Browse files Browse the repository at this point in the history
Signed-off-by: Qian Qian "Cubik"‎ <cubik65536@cubik65536.top>
  • Loading branch information
Cubik65536 committed Jan 22, 2025
1 parent d281036 commit 337a9ee
Showing 1 changed file with 4 additions and 1 deletion.
5 changes: 4 additions & 1 deletion .github/scripts/github_build.sh
Original file line number Diff line number Diff line change
Expand Up @@ -16,14 +16,17 @@ _ninja_path="$_homebrew_path/ninja/bin"
_python_path="$_homebrew_path/python3/bin"

_root_dir=$(dirname $(greadlink -f $0))
_src_dir="$_root_dir/build/src"
if [[ -f "$_root_dir/epoch_job_start.txt" ]]; then
epoch_job_start=$(cat "$_root_dir/epoch_job_start.txt")
# GitHub's hard time limit is 6 h per job, we want to spare 1 h for steps before and after the build,
# To get the remaining time for building we subtract 360*60s - 60*60s - (epoch_now - epoch_job_start)
_remaining_time=$(( 360*60 - 60*60 - $(date +%s) + epoch_job_start ))
fi

cd build/src
cd "$_src_dir"

ln -s "$_src_dir/third_party" "$_src_dir/../third_party"

echo $(date +%s) | tee -a "$_root_dir/build_times_$_target_cpu.log"
echo "status=running" >> $GITHUB_OUTPUT
Expand Down

0 comments on commit 337a9ee

Please sign in to comment.