Compare commits

..

No commits in common. "678dd3203c27c4d799c1d6a31afd0dc60fdf95c8" and "9b649be8b57d17e6b8ae307c084d6b05517789ab" have entirely different histories.

2 changed files with 1 additions and 20 deletions

View File

@ -100,15 +100,6 @@ Create jobs based on open Gitea pull requests
- `gitea_authorization.<repo-owner>`
## Gitea refs
Hydra plugin for retrieving the list of references (branches or tags) from
Gitea following a certain naming scheme.
### Configuration options
- `gitea_authorization.<repo-owner>`
## GitHub pulls
Create jobs based on open GitHub pull requests

View File

@ -273,19 +273,9 @@ in
}
) prJobNames
);
rels = builtins.fromJSON (builtins.readFile releases);
relJobNames = builtins.attrNames rels;
relJobset = builtins.listToAttrs (
map (
name: {
inherit name;
value = genDrv name;
}
) relJobNames
);
in {
trivial = genDrv "trivial";
} // prJobset // relJobset
} // prJobset
'';
in
''