mirror of
https://github.com/commercialhaskell/stackage.git
synced 2026-02-18 17:25:49 +01:00
automated: use script to log each run with date_time stamp
Some checks are pending
image / push (push) Waiting to run
Some checks are pending
image / push (push) Waiting to run
This commit is contained in:
parent
f850d00511
commit
b072e9acba
@ -161,7 +161,7 @@ fi
|
||||
docker run $ARGS_BUILD $IMAGE nice -n 15 /bin/bash -c "
|
||||
chown $USER $HOME
|
||||
exec sudo -E -u $USER env \"HOME=$HOME\" \"PATH=\$PATH\" curator build --jobs $JOBS
|
||||
" |& tee $SHORTNAME-build.log
|
||||
"
|
||||
|
||||
# Make sure we actually need this snapshot. We used to perform this check
|
||||
# exclusively before building. Now we perform it after as well for the case of
|
||||
|
||||
7
automated/run-lts.sh
Executable file
7
automated/run-lts.sh
Executable file
@ -0,0 +1,7 @@
|
||||
#!/usr/bin/env bash
|
||||
|
||||
cd "$(dirname "${BASH_SOURCE[0]}")"
|
||||
|
||||
git pull
|
||||
time script -q -c "./build.sh $*" $1-build-$(date -u +%F_%T)
|
||||
date
|
||||
@ -9,11 +9,11 @@ esac
|
||||
|
||||
while true; do
|
||||
git pull
|
||||
time ./build.sh nightly-$(date -u +%F) $cmd
|
||||
time script -q -c "./build.sh nightly-$(date -u +%F) $cmd" nightly-build-$(date -u +%F_%T)
|
||||
${cmd:+exit 0}
|
||||
${once:+date; exit 0}
|
||||
echo "$0: run completed at $(date)"
|
||||
echo
|
||||
sleep 60m
|
||||
sleep 99m
|
||||
echo
|
||||
done
|
||||
|
||||
Loading…
Reference in New Issue
Block a user