patrick/PulumiConfig
1
0
Fork 0
mirror of https://github.com/Smaug123/PulumiConfig synced 2025-10-05 16:48:39 +00:00
Code Issues Packages Projects Releases Wiki Activity

Add PureGym server (#22)

Browse Source
This commit is contained in:
Patrick Stevens
2023-12-28 22:18:39 +00:00
committed by GitHub
parent 56483b6b80
commit 3eec70b88d
14 changed files with 328 additions and 51 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
PulumiWebServer/Domain.fs
View File

@@ -101,6 +101,7 @@ type WellKnownSubdomain =
| Woodpecker
| WoodpeckerAgent
| Grafana
| PureGym
override this.ToString () =
match this with
@@ -111,6 +112,7 @@ type WellKnownSubdomain =
| Grafana -> "grafana"
| Woodpecker -> "woodpecker"
| WoodpeckerAgent -> "woodpecker-agent"
| PureGym -> "puregym"
static member Parse (s : string) =
match s with
@@ -121,6 +123,7 @@ type WellKnownSubdomain =
| "woodpecker" -> WellKnownSubdomain.Woodpecker
| "woodpecker-agent" -> WellKnownSubdomain.WoodpeckerAgent
| "grafana" -> WellKnownSubdomain.Grafana
| "puregym" -> WellKnownSubdomain.PureGym
| _ -> failwith $"Failed to deserialise: {s}"