From dbe8182e7433374b5ae7b5454126ce46211f0f03 Mon Sep 17 00:00:00 2001
From: Daniel Nagy <danielnagy@posteo.de>
Date: Wed, 30 Nov 2022 17:15:00 +0100
Subject: treewide: switch to port type for nixos modules

---
 nixos/modules/services/continuous-integration/gocd-server/default.nix | 2 +-
 nixos/modules/services/continuous-integration/hydra/default.nix       | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

(limited to 'nixos/modules/services/continuous-integration')

diff --git a/nixos/modules/services/continuous-integration/gocd-server/default.nix b/nixos/modules/services/continuous-integration/gocd-server/default.nix
index 25c16a5c721..bf7fd529bfc 100644
--- a/nixos/modules/services/continuous-integration/gocd-server/default.nix
+++ b/nixos/modules/services/continuous-integration/gocd-server/default.nix
@@ -46,7 +46,7 @@ in {
 
       port = mkOption {
         default = 8153;
-        type = types.int;
+        type = types.port;
         description = lib.mdDoc ''
           Specifies port number on which the Go.CD server HTTP interface listens.
         '';
diff --git a/nixos/modules/services/continuous-integration/hydra/default.nix b/nixos/modules/services/continuous-integration/hydra/default.nix
index 71147957504..564bcd37dec 100644
--- a/nixos/modules/services/continuous-integration/hydra/default.nix
+++ b/nixos/modules/services/continuous-integration/hydra/default.nix
@@ -122,7 +122,7 @@ in
       };
 
       port = mkOption {
-        type = types.int;
+        type = types.port;
         default = 3000;
         description = lib.mdDoc ''
           TCP port the web server should listen to.
-- 
cgit 1.4.1