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

Prometheus (#14)

Browse Source
This commit is contained in:
Patrick Stevens
2023-07-21 23:14:12 +01:00
committed by GitHub
parent 8218d37a15
commit 65446c5a25
11 changed files with 146 additions and 14 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
PulumiWebServer/Domain.fs
View File

@@ -99,6 +99,7 @@ type WellKnownSubdomain =
| Radicale
| Rss
| Woodpecker
| Grafana
override this.ToString () =
match this with
@@ -106,6 +107,7 @@ type WellKnownSubdomain =
| Gitea -> "gitea"
| Radicale -> "calendar"
| Rss -> "rss"
| Grafana -> "grafana"
| Woodpecker -> "woodpecker"
static member Parse (s : string) =
@@ -115,6 +117,7 @@ type WellKnownSubdomain =
| "calendar" -> WellKnownSubdomain.Radicale
| "rss" -> WellKnownSubdomain.Rss
| "woodpecker" -> WellKnownSubdomain.Woodpecker
| "grafana" -> WellKnownSubdomain.Grafana
| _ -> failwith $"Failed to deserialise: {s}"