getDevToolPortal

Get the Application Live and its properties. Uses Azure REST API version 2024-01-01-preview. Other available API versions: 2023-05-01-preview, 2023-07-01-preview, 2023-09-01-preview, 2023-11-01-preview, 2023-12-01, 2024-05-01-preview. These can be accessed by generating a local SDK package using the CLI command pulumi package add azure-native appplatform [ApiVersion]. See the ../../../version-guide/#accessing-any-api-version-via-local-packages for details.

Return

Dev Tool Portal resource

Parameters

argument

null


suspend fun getDevToolPortal(devToolPortalName: String, resourceGroupName: String, serviceName: String): GetDevToolPortalResult

Return

Dev Tool Portal resource

Parameters

devToolPortalName

The name of Dev Tool Portal.

resourceGroupName

The name of the resource group that contains the resource. You can obtain this value from the Azure Resource Manager API or the portal.

serviceName

The name of the Service resource.

See also


Return

Dev Tool Portal resource

Parameters

argument

Builder for com.pulumi.azurenative.appplatform.kotlin.inputs.GetDevToolPortalPlainArgs.

See also