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

Fix building with -z defs #239

Sign in to view logs

Fix building with -z defs

Fix building with -z defs #239

Triggered via pull request November 6, 2023 06:21
@jroheljrohel
closed #994
ppisar:underlinking
Status Skipped
Total duration 2s
Artifacts –

do-release.yaml

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