Just to show the difference between making a PR from a fork as opposed to making a PR from initc3/HoneyBadgerMPC.
When a pull_request or push event is from initc3/HoneyBadgerMPC, a docker image is built and pushed to Docker Hub so that it can be re-used in other jobs as seen in this PR:
Pushing to Docker Hub from Travis CI can be done with encrypted credentials but this cannot be done from forks because encrypted variables are not accessible for forks for security reasons.
sbellem
commented
4 years ago
NOT for MERGING
Just to show the difference between making a PR from a fork as opposed to making a PR from initc3/HoneyBadgerMPC.
When a
pull_requestorpushevent is frominitc3/HoneyBadgerMPC, a docker image is built and pushed to Docker Hub so that it can be re-used in other jobs as seen in this PR:Pushing to Docker Hub from Travis CI can be done with encrypted credentials but this cannot be done from forks because encrypted variables are not accessible for forks for security reasons.
Hence the same PR from a fork looks like: