feat: Migrate CI to gitea

This commit is contained in:
UGA Innovation Factory
2025-12-18 12:35:35 -05:00
committed by Hunter Halloran
parent d205211c7d
commit a23ec91c9c
13 changed files with 167 additions and 175 deletions

View File

@@ -79,21 +79,21 @@ in
builders = mkOption {
type = types.submodule {
options = {
githubRunner = {
enable = mkEnableOption "GitHub Actions self-hosted runner";
giteaRunner = {
enable = mkEnableOption "Gitea Actions self-hosted runner";
url = mkOption {
type = types.str;
description = "GitHub repository URL for the runner";
description = "Gitea instance URL for the runner";
};
tokenFile = mkOption {
type = types.path;
default = "/var/lib/github-runner-token";
default = "/var/lib/gitea-runner-token";
description = ''
Path to file containing GitHub PAT token.
Generate at: https://github.com/settings/tokens
The token must have repo access.
Path to file containing Gitea runner token.
Generate in Gitea repository settings under Actions > Runners.
The token must have runner registration access.
'';
};
@@ -103,28 +103,10 @@ in
description = "Extra labels to identify this runner in workflows";
};
user = mkOption {
type = types.str;
default = "engr-ugaif";
description = "User to run the runner as";
};
workDir = mkOption {
type = types.str;
default = "/var/lib/github-runner";
description = "Working directory for runner";
};
name = mkOption {
type = types.str;
default = "nixos-systems";
description = "Name of the GitHub runner service";
};
replace = mkOption {
type = types.bool;
default = false;
description = "Replace existing runner registration on start";
default = "athenix";
description = "Name of the Gitea runner service";
};
};
};