From 81a7b0de5ccef981d8895242d10aaff85fad2f14 Mon Sep 17 00:00:00 2001 From: Adelyn Breedlove Date: Mon, 28 Jan 2019 17:43:23 -0700 Subject: blech, I wanna be done with CI setup --- .gitlab-ci.yml | 2 +- disml.opam | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 7c3b06f..78dadc0 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -17,4 +17,4 @@ pages: paths: - public only: - - tags \ No newline at end of file + - master \ No newline at end of file diff --git a/disml.opam b/disml.opam index 2ad18c1..5693984 100644 --- a/disml.opam +++ b/disml.opam @@ -5,7 +5,7 @@ maintainer: "Adelyn Breedlove " authors: "Adelyn Breedlove " license: "MIT" homepage: "https://gitlab.com/Mishio595/disml" -doc: "https://mishio595.github.io/disml/index.html" +doc: "https://mishio595.gitlab.io/disml/" dev-repo: "git+https://gitlab.com/Mishio595/disml" bug-reports: "https://gitlab.com/Mishio595/disml/issues" tags: ["discord"] -- cgit v1.2.3