This repository has been archived on 2024-03-23. You can view files and clone it, but cannot push or open issues or 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
|