patrick/PulumiConfig
1
0
Fork 0
mirror of https://github.com/Smaug123/PulumiConfig synced 2025-10-27 18:18:56 +00:00
Code Issues Packages Projects Releases Wiki Activity

Add 'robocop' subdomain (#44)

Browse Source
This commit is contained in:
Patrick Stevens
2025-10-12 10:40:40 +01:00
committed by GitHub
parent 0986cfee52
commit f188ede756
1 changed files with 3 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
PulumiWebServer/Domain.fs
View File

@@ -104,6 +104,7 @@ type WellKnownSubdomain =
| Grafana
| PureGym
| Whisper
| Robocop
override this.ToString () =
match this with
@@ -117,6 +118,7 @@ type WellKnownSubdomain =
| WellKnownSubdomain.WoodpeckerAgent -> "woodpecker-agent"
| WellKnownSubdomain.PureGym -> "puregym"
| WellKnownSubdomain.Whisper -> "whisper"
| WellKnownSubdomain.Robocop -> "robocop"
static member Parse (s : string) =
match s with
@@ -130,6 +132,7 @@ type WellKnownSubdomain =
| "grafana" -> WellKnownSubdomain.Grafana
| "puregym" -> WellKnownSubdomain.PureGym
| "whisper" -> WellKnownSubdomain.Whisper
| "robocop" -> WellKnownSubdomain.Robocop
| _ -> failwith $"Failed to deserialise: {s}"