Jenkins CI

• Involved components: Jenkins, Docker, PX4 POSIX SITL
• Tests run inside
• Jenkins executes 2 jobs: one to check each PR against master, and the other to check every push on master

Configuration

• Jenkins security enabled
• Installed plugins
  • github pull request builder
  • embeddable build status plugin
  • s3 plugin
  • notification plugin
  • collapsing console sections