Skip to content

Merge pull request #1301 from fugufish/update_checker_function_type #910

Merge pull request #1301 from fugufish/update_checker_function_type

Merge pull request #1301 from fugufish/update_checker_function_type #910

Job Run time
15s
17s
16s
14s
18s
17s
14s
17s
19s
15s
20s
18s
14s
13s
15s
19s
19s
21s
17s
18s
15s
16s
14s
14s
15s
22s
25s
30s
19s
16s
13s
25s
19s
19s
15s
15s
14s
15s
20s
18s
15s
18s
19s
19s
16s
17s
17s
17s
18s
16s
21s
33s
17s
17s
17s
17s
16s
17s
24s
19s
19s
19s
17s
17s
16s
18s
17s
18s
19s
18s
17s
20s
20s
20s
23s
15s
14s
13s
23s
14s
14s
19s
21s
18s
19s
13s
26s
15s
17s
14s
14s
14s
18s
13s
14s
18s
14s
14s
15s
14s
17s
20s
14s
22s
16s
30m 35s