Completed
Push — develop ( 3c399b...ae3ec1 )
by David
02:55
created

No notable changes

There were no notable changes in the changeset which was inspected.

9.19
▶   ± 0
Head
David Riccitelli  
update readme to use the GitHub CI badge
Base
David Riccitelli  
restrict tests to pushes to master/develop/releases and to PRs