ci: Update Github Actions workflows (#9774)
authorsfan5 <sfan5@live.de>
Sat, 2 May 2020 10:52:51 +0000 (12:52 +0200)
committerGitHub <noreply@github.com>
Sat, 2 May 2020 10:52:51 +0000 (12:52 +0200)
commit61d93988d8b44a9905451c4c288e02c04d41abb0
treef0c20599ddc0e61e94e24521cd17851f9ed5d0d2
parente0ea87f1f32273dba2eb5421c2a8c890479ba078
ci: Update Github Actions workflows (#9774)
.github/workflows/build.yml
.github/workflows/cpp_lint.yml
.github/workflows/lua_lint.yml
util/ci/build.sh
util/ci/clang-tidy.sh
util/ci/common.sh