publish after push to main

This commit is contained in:
Jeff Epler 2021-06-10 17:09:01 -05:00
parent 1e8c92064c
commit 3a9196cda1

View file

@ -23,7 +23,7 @@ jobs:
- name: build
run: |
make -O V=1 -j$(nproc)
- if: github.event_name == 'push' && github.ref == 'refs/heads/master'
- if: github.event_name == 'push' && github.ref == 'refs/heads/main'
name: publish
run: |
git config user.email "jepler@gmail.com"