Update CI

This commit is contained in:
Luca Palmieri 2020-12-05 19:17:08 +00:00
parent 2cc7ae2d37
commit 447fdbfa96

View file

@ -4,6 +4,9 @@ on:
# NB: this differs from the book's project!
# These settings allow us to run this specific CI pipeline for PRs against
# this specific branch (a.k.a. book chapter).
push:
branches:
- root-chapter-03-part0
pull_request:
types: [ opened, synchronize, reopened ]
branches: