Skip to content

feat(dafny): use kms:GenerateDataKey for branch key creation and version hv-2 #4994

feat(dafny): use kms:GenerateDataKey for branch key creation and version hv-2

feat(dafny): use kms:GenerateDataKey for branch key creation and version hv-2 #4994

Job Run time
9s
10s
2m 17s
1m 13s
1m 12s
2m 7s
18m 23s
3m 47s
1m 19s
17s
1m 20s
1m 21s
3m 56s
14m 42s
1m 33s
1m 4s
6m 11s
1m 32s
6m 7s
10m 46s
5m 39s
6m 49s
6m 56s
11m 14s
7m 43s
19m 50s
4m 5s
1m 27s
1m 9s
2m 13s
2m 44s
7m 38s
1m 54s
1m 21s
2m 36s
3m 7s
2m 26s
1m 54s
3m 5s
4m 16s
4m 14s
1m 31s
6m 30s
8m 31s
2m 14s
2m 36s
3m 14s
8m 27s
1m 43s
5m 34s
12m 9s
9m 6s
3m 15s
1m 24s
2m 57s
1m 22s
1m 42s
3m 29s
15m 0s
1m 41s
2m 43s
5m 32s
15m 8s
21m 16s
33m 59s
1m 28s
5m 8s
19m 34s
2m 43s
1m 59s
1m 51s
2m 37s
2m 27s
3m 42s
3m 26s
1m 45s
1m 50s
2m 2s
1m 52s
1m 59s
3m 41s
2m 6s
5m 26s
2m 51s
2m 48s
3m 40s
1m 51s
2m 46s
4m 50s
2m 50s
1m 50s
11m 51s
5m 56s
6m 12s
4m 50s
2m 2s
4m 37s
9m 31s
2m 0s
2m 6s
6m 21s
10m 6s
3m 59s
1m 41s
1m 44s
2m 56s
9m 35s
1m 32s
2m 40s
2m 2s
6m 47s
4m 14s
7m 1s
4m 16s
8m 30s
7m 13s
9m 5s
3m 53s
7m 54s
8m 49s
6m 22s
11m 33s
8m 39s
6m 7s
10m 36s
11m 56s
7m 9s
11m 47s
2s
11h 15m 25s