lupyuen/nuttx-release
1
0
Fork 0
mirror of https://github.com/lupyuen/nuttx-release.git synced 2025-01-13 07:38:29 +08:00
Code Issues Projects Releases Packages Wiki Activity Actions

Increase precision

Browse source
This commit is contained in:
Lup Yuen Lee 2024-10-22 14:11:14 +08:00
parent e79c8332a8
commit cbfcc3f9f4
1 changed files with 7 additions and 8 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

15
compute-github-runners.sh
View file

@ -53,9 +53,6 @@ function add_runner_hours {
) )
# echo runner_hours=$runner_hours # echo runner_hours=$runner_hours
if [[ "$runner_hours" != "0" ]]; then if [[ "$runner_hours" != "0" ]]; then
total_runner_hours=$(
bc -l -e "$total_runner_hours+$runner_hours"
)
local runner_hours_rounded=$( local runner_hours_rounded=$(
bc -l -e "r($runner_hours,1)" bc -l -e "r($runner_hours,1)"
) )
@ -67,22 +64,24 @@ function add_runner_hours {
## Accumulate the Runner Hours for nuttx and nuttx-apps repos ## Accumulate the Runner Hours for nuttx and nuttx-apps repos
echo run_id,run_duration_ms,runner_hours echo run_id,run_duration_ms,runner_hours
total_job_hours=0 total_job_hours=0
total_runner_hours=0
add_runner_hours apache/nuttx add_runner_hours apache/nuttx
add_runner_hours apache/nuttx-apps add_runner_hours apache/nuttx-apps
## Compute the Full-Time Runners ## Compute the Full-Time Runners
total_runner_hours=$(
bc -l -e "$duration_hours_to_runner_hours*$total_job_hours"
)
fulltime_runners=$( fulltime_runners=$(
bc -e "$total_runner_hours/$hours" bc -e "$total_runner_hours/$hours"
) )
total_job_hours=$( total_job_hours_rounded=$(
bc -l -e "r($total_job_hours,1)" bc -l -e "r($total_job_hours,1)"
) )
total_runner_hours=$( total_runner_hours_rounded=$(
bc -l -e "r($total_runner_hours,1)" bc -l -e "r($total_runner_hours,1)"
) )
echo date=$date echo date=$date
echo hours=$hours echo hours=$hours
echo total_job_hours=$total_job_hours echo total_job_hours=$total_job_hours_rounded
echo total_runner_hours=$total_runner_hours echo total_runner_hours=$total_runner_hours_rounded
echo fulltime_runners=$fulltime_runners echo fulltime_runners=$fulltime_runners