2022-10-09 16:28:49 +00:00
|
|
|
import * as pulumi from "@pulumi/pulumi";
|
2022-12-07 15:24:02 +00:00
|
|
|
import * as random from "@pulumi/random";
|
2022-10-09 16:28:49 +00:00
|
|
|
|
2022-12-07 15:24:02 +00:00
|
|
|
const numbers: random.RandomInteger[] = [];
|
|
|
|
for (const range = {value: 0}; range.value < 2; range.value++) {
|
|
|
|
numbers.push(new random.RandomInteger(`numbers-${range.value}`, {
|
|
|
|
min: 1,
|
|
|
|
max: range.value,
|
|
|
|
seed: `seed${range.value}`,
|
|
|
|
}));
|
2022-10-09 16:28:49 +00:00
|
|
|
}
|
2022-12-07 15:24:02 +00:00
|
|
|
export const first = numbers[0].id;
|
|
|
|
export const second = numbers[1].id;
|