cherry-pick from Jerry's Chen branch

This commit is contained in:
Evgeny Danienko 2022-05-17 19:25:59 +03:00
parent 91559f3955
commit 3aaf6bc13e

View file

@ -1,8 +1,12 @@
name: CI
on:
=on:
push:
branches:
- "master"
pull_request:
branches:
- "**"
types: [opened, synchronize]
concurrency:
group: build-${{ github.event.pull_request.number || github.ref }}