2024-08-06 22:57:47 +00:00
|
|
|
<?xml version="1.0" encoding="utf-8"?>
|
|
|
|
<!-- This file contains project properties used by the build. -->
|
|
|
|
<Project>
|
2024-08-07 04:53:01 +00:00
|
|
|
<PropertyGroup Condition="'$(GITHUB_ACTIONS)' == 'true'">
|
|
|
|
<ContinuousIntegrationBuild>true</ContinuousIntegrationBuild>
|
|
|
|
<DisableCopyToPlugins>true</DisableCopyToPlugins>
|
|
|
|
<DisableZipRelease>true</DisableZipRelease>
|
|
|
|
</PropertyGroup>
|
|
|
|
|
|
|
|
<PropertyGroup Condition="'$(NCrunch)' == '1'">
|
|
|
|
<ContinuousIntegrationBuild>false</ContinuousIntegrationBuild>
|
|
|
|
<DisableCopyToPlugins>true</DisableCopyToPlugins>
|
|
|
|
<DisableZipRelease>true</DisableZipRelease>
|
|
|
|
</PropertyGroup>
|
2024-08-06 22:57:47 +00:00
|
|
|
</Project>
|