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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
if_merged
0s
0s