Replace ints with strings

This commit is contained in:
Danila Fedorin 2020-02-11 13:50:05 -08:00
parent 54ccef9c72
commit e5a39d8dfb

View File

@ -1,8 +1,12 @@
local compiler_versions = [
"04", "05", "06", "07", "08", "09"
];
local test_compiler_version(version) = [ local test_compiler_version(version) = [
"cd code/compiler/09", "cd code/compiler/%(version)",
"mkdir build && cd build", "mkdir build && cd build",
"cd .." "cd .."
] ];
{ {
"kind": "pipeline", "kind": "pipeline",
"type": "docker", "type": "docker",
@ -11,7 +15,7 @@ local test_compiler_version(version) = [
{ {
"name": "test-compiler", "name": "test-compiler",
"image": "gcc", "image": "gcc",
"commands": std.flatMap(test_compiler_version, [4,5,6,7,8,9]) "commands": std.flatMap(test_compiler_version, compiler_versions)
} }
] ]
} }