Skip to content
Create a GitHub release once a release PR is merged

Update README with updated coprs #237

Sign in to view logs

Update README with updated coprs

Update README with updated coprs #237

Triggered via pull request November 3, 2023 13:58
@inknosinknos
closed #976
inknos:update-readme-with-updated-coprs
Status Skipped
Total duration 2s
Artifacts –

do-release.yaml

on: pull_request
if_merged
0s
if_merged
Fit to window
Zoom out
Zoom in