DafnyCompilerFuzzer/processing_task_definition.json at main · CompFuzzCI/DafnyCompilerFuzzer · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
{
    "family": "processing-tasks",
    "taskRoleArn": "",
    "executionRoleArn": "",
    "networkMode": "bridge",
    "containerDefinitions": [
        {
            "name": "processing-container",
            "image": "",
            "essential": true,
            "cpu": 2048,
            "memoryReservation": 3072,
            "command": [
                ""
            ],
            "startTimeout": 300,
            "stopTimeout": 300,
            "disableNetworking": false,
            "privileged": false,
            "readonlyRootFilesystem": false,
            "interactive": false,
            "pseudoTerminal": true,
            "ulimits": [
                {
                    "name": "core",
                    "softLimit": 0,
                    "hardLimit": 0
                }
            ],
            "logConfiguration": {
                "logDriver": "awslogs",
                "options": {
                    "awslogs-group": "compfuzzci-tasks",
                    "awslogs-region": "us-east-1",
                    "awslogs-stream-prefix": "task"
                }
            }
        }
    ],
    "requiresCompatibilities": [
        "EC2"
    ],
    "pidMode": "host",
    "ipcMode": "host",
    "runtimePlatform": {
        "cpuArchitecture": "X86_64",
        "operatingSystemFamily": "LINUX"
    }
}