paparazzi-commits
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[paparazzi-commits] [paparazzi/paparazzi] c1775f: Adjusted travis script


From: GitHub
Subject: [paparazzi-commits] [paparazzi/paparazzi] c1775f: Adjusted travis script to use opam.
Date: Sun, 15 Mar 2015 19:20:53 -0700

  Branch: refs/heads/opam
  Home:   https://github.com/paparazzi/paparazzi
  Commit: c1775ffe10c0bc0a9966296d5c37c3b2b07c7a6d
      
https://github.com/paparazzi/paparazzi/commit/c1775ffe10c0bc0a9966296d5c37c3b2b07c7a6d
  Author: Piotr Esden-Tempski <address@hidden>
  Date:   2015-03-15 (Sun, 15 Mar 2015)

  Changed paths:
    M .travis.yml

  Log Message:
  -----------
  Adjusted travis script to use opam.

This should make this branch pass travis. *cross_fingers*



reply via email to

[Prev in Thread] Current Thread [Next in Thread]