Best practices for Porter in a CI Pipeline How to effectively use a GitHub workflow to create a CI pipeline using Porter.