Migrate .travis.yml to container-based infrastructure - Githubissues

fritzo / pomagma

An inference engine for extensional untyped λ-calculus

Other

17 stars 2 forks source link

Migrate .travis.yml to container-based infrastructure #30

Open fritzo opened 9 years ago

fritzo commented 9 years ago

see http://docs.travis-ci.com/user/migrating-from-legacy/?utm_source=legacy-notice&utm_medium=banner&utm_campaign=legacy-upgrade