YAMAMOTO Takashi f3f4b20538 Sync with testing repo ...

Namely the following change:

commit 2b69b0b2bb78ad50e9051ed07d096930a4f0918a
Author: YAMAMOTO Takashi <yamamoto@midokura.com>
Date:   Tue Apr 14 14:54:13 2020 +0900

    CI: Make job descriptions less redundant

    From:
        PR Check CI (build) / build-linux (arm-02) (pull_request)
    To:
        Build / Linux (arm-02) (pull_request)

2020-04-15 14:43:36 +08:00

..

build.yml

Sync with testing repo

2020-04-15 14:43:36 +08:00

check.yml

check.yml: Reduce differences from apps

2020-04-01 00:02:24 +08:00

doc.yml

…