ci: push: also run for simon2 branch

This commit is contained in:
Simon Michael 2022-04-24 23:43:47 -10:00
parent 2bf18540c2
commit c2bc7dfb83

View File

@ -13,7 +13,7 @@ name: push CI
on:
push:
branches: [ simon ]
branches: [ simon, simon2 ]
# Run this workflow for changes to any file, even trivial doc fixes
# (since merging to master requires a successful run).
# Ideally caching will keep it relatively cheap; avoid over-pushing.