Skip to content

Commit

Permalink
Fix: Fix some in the release script
Browse files Browse the repository at this point in the history
  • Loading branch information
coord-e committed Jul 3, 2020
1 parent 338bdee commit 1bbc3ef
Showing 1 changed file with 3 additions and 2 deletions.
5 changes: 3 additions & 2 deletions dev/ci/github_release.sh
Original file line number Diff line number Diff line change
@@ -1,19 +1,20 @@
#!/usr/bin/env bash

set -euo pipefail
shopt -s globstar

function main() {
local -r repo_url="https://github.com/${GITHUB_REPOSITORY}"
local -r version=${GITHUB_REF#refs\/tags\/v}

local -r release_badge="[![release](${repo_url}/workflows/${GITHUB_WORKFLOW}/badge.svg)](${repo_url}/actions/runs/${GITHUB_RUN_ID})"
local release_message
release_message="$(git tag -l --format='$(contents)' v${version})"
release_message="$(git tag -l --format='%(contents)' v${version})"

local package_messages=''

for cabal_file in **/*.cabal; do
local package, package_dir
local package package_dir
package="$(sed -e 's/^name:\s*\(.*\)$/\1/;t;d' $cabal_file)"
package_dir="$(dirname $cabal_file)"

Expand Down

0 comments on commit 1bbc3ef

Please sign in to comment.