This repository has been archived on 2026-01-05. You can view files and clone it, but cannot push or open issues/pull-requests.
|
#!/bin/bash -ex
|
|
|
|
GITDATE="`git show -s --date=short --format='%ad' | sed 's/-//g'`"
|
|
GITREV="`git show -s --format='%h'`"
|
|
|
|
mkdir -p artifacts
|