CI Improvements #142

Merged
lucas merged 5 commits from issue/color-eyre into master 2023-11-23 15:30:31 +01:00
2 changed files with 3 additions and 2 deletions
Showing only changes of commit b86ea337d1 - Show all commits

View file

@ -5,6 +5,7 @@ RUN set -eux; \
apt-get install --no-install-recommends -y \ apt-get install --no-install-recommends -y \
build-essential \ build-essential \
curl \ curl \
git \
gpg \ gpg \
jq \ jq \
libatk1.0-dev \ libatk1.0-dev \

View file

@ -1,4 +1,4 @@
#!/bin/sh #!/bin/bash
set -eu set -eu
@ -16,7 +16,7 @@ cd "repo"
if [ -n "${PR:-}" ]; then if [ -n "${PR:-}" ]; then
title "PR: $(echo "$PR" | jq '.number') - $(echo "$PR" | jq '.title')" title "PR: $(echo "$PR" | jq '.number') - $(echo "$PR" | jq '.title')"
ref="pr-$(echo "$PR" | jq '.number')-$(git rev-parse --short $(cat .git/ref || echo "HEAD")) 2>/dev/null || echo 'manual')" ref="pr-$(echo "$PR" | jq '.number')-$(git rev-parse --short "$(cat .git/ref || echo "HEAD")" 2>/dev/null || echo 'manual')"
else else
ref=$(git describe --tags) ref=$(git describe --tags)
fi fi