New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add PR trigger to CI #24

Merged

tushuhei merged 2 commits into google:main from eggplants:add_ci_trigger

Nov 27, 2021

Contributor

eggplants commented Nov 27, 2021

I added a pull_request trigger to make CI work for PR commits.

eggplants added 2 commits

November 28, 2021 01:29


          add: PR trigger to ci

cd72da2


          fix: quotation

128dbb4

tushuhei merged commit 4137c7e into google:main

Member

tushuhei commented Nov 27, 2021

Thank you!

eggplants deleted the add_ci_trigger branch

November 28, 2021 03:54

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet