expand CI cluster back (#12239)

To be done / merged on Jan 3.

CHANGELOG_BEGIN
CHANGELOG_END
This commit is contained in:
Gary Verhaegen 2022-01-03 15:50:08 +01:00 committed by GitHub
parent d6d473db67
commit 0e30d468f9
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 2 additions and 2 deletions

View File

@ -11,7 +11,7 @@ locals {
{
name = "ci-u2",
disk_size = 400,
size = 4,
size = 30,
},
]
}

View File

@ -17,7 +17,7 @@ locals {
},
{
name = "ci-w2"
size = 1,
size = 6,
assignment = "default",
disk_size = 400
},