Skip to content

Latest commit

 

History

History
19 lines (15 loc) · 996 Bytes

travis.md

File metadata and controls

19 lines (15 loc) · 996 Bytes

Automatic Builds at Travis

When a commit is submitted to the the main repository, a service hook at github will automatically build Lean using Travis.

There is a way to prevent a push from being built. Pushes that have either [ci skip] or [skip ci] anywhere in one of the commit messages will be ignored.

Automatic builds can be enabled for any fork of the Lean repository. We just have to go to our fork page at github; select settings (it is an icon on the right hand side of the page); select Service Hooks; select Travis; and provide the required information. We must have an account at Travis.

By default, build reports are sent to the lean-build Google group. You can change that by modifying the file .travis.yml in the Lean root directory. The file contains a recipients: entry.