2020-09-07 20:14:10 +08:00
|
|
|
#!/bin/bash
|
|
|
|
|
|
|
|
set -euo pipefail
|
|
|
|
|
2020-10-06 20:21:33 +08:00
|
|
|
echo "Recording buildevents step finish for ${project} started at ${STEP_START}..."
|
2020-10-22 17:30:18 +08:00
|
|
|
buildevents step ${GITHUB_RUN_ID} ${GITHUB_RUN_ID}-${project} ${STEP_START} ${project}
|
2020-10-06 20:21:33 +08:00
|
|
|
echo "done."
|