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

Woodpecker upgrade (#18)

Browse Source
This commit is contained in:
Patrick Stevens
2023-10-01 22:27:05 +01:00
committed by GitHub
parent e8cf9916ee
commit 713401546a
10 changed files with 94 additions and 81 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
| WoodpeckerAgent
| Grafana
override this.ToString () =
@@ -109,6 +110,7 @@ type WellKnownSubdomain =
| Rss -> "rss"
| Grafana -> "grafana"
| Woodpecker -> "woodpecker"
| WoodpeckerAgent -> "woodpecker-agent"
static member Parse (s : string) =
match s with
@@ -117,6 +119,7 @@ type WellKnownSubdomain =
| "calendar" -> WellKnownSubdomain.Radicale
| "rss" -> WellKnownSubdomain.Rss
| "woodpecker" -> WellKnownSubdomain.Woodpecker
| "woodpecker-agent" -> WellKnownSubdomain.WoodpeckerAgent
| "grafana" -> WellKnownSubdomain.Grafana
| _ -> failwith $"Failed to deserialise: {s}"