Eliza Weisman d6c0a456f5 chore: start experimenting with github actions (#283) ...

this adds a rough CI action. I'm going to merge this because it might fix the other actions; we can delete it later

please ignore this

2019-08-14 15:35:33 -07:00

..

CI.yml

chore: start experimenting with github actions (#283)

2019-08-14 15:35:33 -07:00

label.yml

chore: add PR labeler action (#268)

2019-08-12 16:53:26 -07:00

publish_pages.yml

meta: add pages publish action on master commits (#278)

2019-08-14 13:51:20 -07:00