Update the configuration mirror.

Author: bot

config/generated.acoda.tf

@@ -8,3 +8,65 @@ resource "hydra_project" "acoda" {
   visible      = false
 }
 
+resource "hydra_jobset" "acoda_trunk" {
+  project     = hydra_project.acoda.name
+  state       = "disabled"
+  visible     = false
+  name        = "trunk"
+  type        = "legacy"
+  description = "Acoda trunk"
+
+  nix_expression {
+    file  = "trunk.nix"
+    input = "acodaSrc"
+  }
+
+  input {
+    name              = "acodaSrc"
+    type              = "svn"
+    value             = "https://svn.strategoxt.org/repos/structure-evolution/trunk"
+    notify_committers = false
+  }
+
+  input {
+    name              = "nixos"
+    type              = "git"
+    value             = "https://github.com/NixOS/nixos.git"
+    notify_committers = false
+  }
+
+  input {
+    name              = "nixpkgs"
+    type              = "git"
+    value             = "https://github.com/NixOS/nixpkgs.git"
+    notify_committers = false
+  }
+
+  input {
+    name              = "services"
+    type              = "svn"
+    value             = "https://nixos.org/repos/nix/services/trunk"
+    notify_committers = false
+  }
+
+  input {
+    name              = "system"
+    type              = "string"
+    value             = "i686-linux"
+    notify_committers = false
+  }
+
+  input {
+    name              = "webdslBuild"
+    type              = "sysbuild"
+    value             = "webdsl:trunk:build"
+    notify_committers = false
+  }
+
+  check_interval    = 300
+  scheduling_shares = 100
+  keep_evaluations  = 0
+
+  email_notifications = true
+  email_override      = ""
+}

config/generated.crawljax.tf

@@ -8,65 +8,3 @@ resource "hydra_project" "crawljax" {
   visible      = false
 }
 
-resource "hydra_jobset" "crawljax_crawljax-trunk" {
-  project     = hydra_project.crawljax.name
-  state       = "disabled"
-  visible     = true
-  name        = "crawljax-trunk"
-  type        = "legacy"
-  description = "Crawljax"
-
-  nix_expression {
-    file  = "crawljax/release.nix"
-    input = "hydraConfig"
-  }
-
-  input {
-    name              = "build"
-    type              = "build"
-    value             = "build"
-    notify_committers = false
-  }
-
-  input {
-    name              = "crawljaxSrc"
-    type              = "svn"
-    value             = "http://crawljax.googlecode.com/svn/trunk"
-    notify_committers = false
-  }
-
-  input {
-    name              = "hydraConfig"
-    type              = "svn"
-    value             = "https://nixos.org/repos/nix/hydra-config/tud/trunk"
-    notify_committers = false
-  }
-
-  input {
-    name              = "nixos"
-    type              = "git"
-    value             = "https://github.com/NixOS/nixos.git"
-    notify_committers = false
-  }
-
-  input {
-    name              = "nixpkgs"
-    type              = "git"
-    value             = "https://github.com/NixOS/nixpkgs.git"
-    notify_committers = false
-  }
-
-  input {
-    name              = "services"
-    type              = "svn"
-    value             = "https://nixos.org/repos/nix/services/trunk"
-    notify_committers = false
-  }
-
-  check_interval    = 300
-  scheduling_shares = 100
-  keep_evaluations  = 0
-
-  email_notifications = true
-  email_override      = "rob.vermaas@gmail.com"
-}