Create a GitHub release once a release PR is merged

Add `dsync` alias for `distro-sync` #156

Sign in to view logs

Summary
Jobs
- if_merged
Run details
- Usage
- Workflow file

Triggered via pull request August 22, 2023 12:22

j-mracek

closed #828

softwaresale:cs-639

Status Skipped

Total duration 3s

Artifacts –

do-release.yaml

on: pull_request