Skip to content
Permalink

Comparing changes

Choose two branches to see what’s changed or to start a new pull request. If you need to, you can also or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: mirage/mirage
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: 7899fbbc55bb
Choose a base ref
...
head repository: mirage/mirage
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: eb67a1108bb5
Choose a head ref
  • 2 commits
  • 1 file changed
  • 2 contributors

Commits on Jun 22, 2018

  1. Copy the full SHA
    62b72c5 View commit details
  2. Merge pull request #909 from hannesm/minor

    use mirage-skeleton master again
    yomimono authored Jun 22, 2018
    Copy the full SHA
    eb67a11 View commit details
Showing with 1 addition and 3 deletions.
  1. +1 −3 .travis-ci.sh
4 changes: 1 addition & 3 deletions .travis-ci.sh
Original file line number Diff line number Diff line change
@@ -1,7 +1,5 @@
eval `opam config env`
opam depext -uiy mirage
cd ~
# revert to `git clone -b master https://github.com/mirage/mirage-skeleton.git`
# once mirage-skeleton#257 or equivalent is merged
git clone -b muen-ready https://github.com/yomimono/mirage-skeleton.git
git clone -b master https://github.com/mirage/mirage-skeleton.git
make -C mirage-skeleton && rm -rf mirage-skeleton