Update circe-generic, circe-literal, ... to 0.14.8 #308
Workflow file for this run
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # This file was originally automatically generated by sbt-github-actions | |
| # using the githubWorkflowGenerate task. AFAICT sbt-github-actions doesn't | |
| # support adding "Services" to the build via the sbt DSL, so we had to | |
| # remove the plugin and manually modify the generated files. | |
| name: Clean | |
| on: push | |
| jobs: | |
| delete-artifacts: | |
| name: Delete Artifacts | |
| runs-on: ubuntu-latest | |
| env: | |
| GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} | |
| steps: | |
| - name: Delete artifacts | |
| run: | | |
| # Customize those three lines with your repository and credentials: | |
| REPO=${GITHUB_API_URL}/repos/${{ github.repository }} | |
| # A shortcut to call GitHub API. | |
| ghapi() { curl --silent --location --user _:$GITHUB_TOKEN "$@"; } | |
| # A temporary file which receives HTTP response headers. | |
| TMPFILE=/tmp/tmp.$$ | |
| # An associative array, key: artifact name, value: number of artifacts of that name. | |
| declare -A ARTCOUNT | |
| # Process all artifacts on this repository, loop on returned "pages". | |
| URL=$REPO/actions/artifacts | |
| while [[ -n "$URL" ]]; do | |
| # Get current page, get response headers in a temporary file. | |
| JSON=$(ghapi --dump-header $TMPFILE "$URL") | |
| # Get URL of next page. Will be empty if we are at the last page. | |
| URL=$(grep '^Link:' "$TMPFILE" | tr ',' '\n' | grep 'rel="next"' | head -1 | sed -e 's/.*<//' -e 's/>.*//') | |
| rm -f $TMPFILE | |
| # Number of artifacts on this page: | |
| COUNT=$(( $(jq <<<$JSON -r '.artifacts | length') )) | |
| # Loop on all artifacts on this page. | |
| for ((i=0; $i < $COUNT; i++)); do | |
| # Get name of artifact and count instances of this name. | |
| name=$(jq <<<$JSON -r ".artifacts[$i].name?") | |
| ARTCOUNT[$name]=$(( $(( ${ARTCOUNT[$name]} )) + 1)) | |
| id=$(jq <<<$JSON -r ".artifacts[$i].id?") | |
| size=$(( $(jq <<<$JSON -r ".artifacts[$i].size_in_bytes?") )) | |
| printf "Deleting '%s' #%d, %'d bytes\n" $name ${ARTCOUNT[$name]} $size | |
| ghapi -X DELETE $REPO/actions/artifacts/$id | |
| done | |
| done |