Try self-hosted runner yet another time

This commit is contained in:
Siarhei Fedartsou 2024-06-29 14:17:21 +02:00
parent 88f119825a
commit 14a9468f59
2 changed files with 5 additions and 7 deletions

View File

@ -16,7 +16,6 @@ env:
CASHER_TIME_OUT: 599 # one second less than 10m to avoid 10m timeout error: https://github.com/Project-OSRM/osrm-backend/issues/2742 CASHER_TIME_OUT: 599 # one second less than 10m to avoid 10m timeout error: https://github.com/Project-OSRM/osrm-backend/issues/2742
CMAKE_VERSION: 3.21.2 CMAKE_VERSION: 3.21.2
ENABLE_NODE_BINDINGS: "ON" ENABLE_NODE_BINDINGS: "ON"
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
concurrency: concurrency:
group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }} group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}

View File

@ -40,13 +40,12 @@ function measure_peak_ram_and_time {
# on macOS time has different parameters, so simply run command on macOS # on macOS time has different parameters, so simply run command on macOS
$COMMAND > /dev/null 2>&1 $COMMAND > /dev/null 2>&1
else else
$COMMAND OUTPUT=$(/usr/bin/time -f "%e %M" $COMMAND 2>&1 | tail -n 1)
# OUTPUT=$(/usr/bin/time -f "%e %M" $COMMAND 2>&1 | tail -n 1)
# TIME=$(echo $OUTPUT | awk '{print $1}') TIME=$(echo $OUTPUT | awk '{print $1}')
# PEAK_RAM_KB=$(echo $OUTPUT | awk '{print $2}') PEAK_RAM_KB=$(echo $OUTPUT | awk '{print $2}')
# PEAK_RAM_MB=$(echo "scale=2; $PEAK_RAM_KB / 1024" | bc) PEAK_RAM_MB=$(echo "scale=2; $PEAK_RAM_KB / 1024" | bc)
# echo "Time: ${TIME}s Peak RAM: ${PEAK_RAM_MB}MB" > $OUTPUT_FILE echo "Time: ${TIME}s Peak RAM: ${PEAK_RAM_MB}MB" > $OUTPUT_FILE
fi fi
} }