Skip to content

Update to the 58.0.1 package set. #438

Update to the 58.0.1 package set.

Update to the 58.0.1 package set. #438

Workflow file for this run

name: Create GitHub Release
on:
push:
tags:
- "psc-*"
jobs:
build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v2
- name: Copy packages.dhall to the root
run: cp ./src/packages.dhall packages.dhall
- name: Create Release
id: create_release
uses: actions/create-release@v1
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
with:
tag_name: ${{ github.ref }}
release_name: ${{ github.ref }}
draft: false
prerelease: false
- name: Upload Release Asset
id: upload-release-asset
uses: actions/upload-release-asset@v1
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
with:
upload_url: ${{ steps.create_release.outputs.upload_url }}
asset_path: ./packages.dhall
asset_name: packages.dhall
asset_content_type: application/x-dhall