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

Set POOL_FLAG_ADDFILEPROVIDESFILTERED only when not loading filelists #632

Sign in to view logs

Set POOL_FLAG_ADDFILEPROVIDESFILTERED only when not loading filelists

Set POOL_FLAG_ADDFILEPROVIDESFILTERED only when not loading filelists #632

Triggered via pull request October 2, 2024 10:43
@m-blaham-blaha
closed #1741
kontura:file-provides-dynamic
Status Skipped
Total duration 2s
Artifacts –

do-release.yaml

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