aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAdelyn Breedlove <[email protected]>2019-01-28 17:43:23 -0700
committerAdelyn Breedlove <[email protected]>2019-01-28 17:43:23 -0700
commit81a7b0de5ccef981d8895242d10aaff85fad2f14 (patch)
tree693ae892002cedcde67de7a38f9aeb8033ebdcc3
parentBump to 0.2.2 (diff)
downloaddisml-81a7b0de5ccef981d8895242d10aaff85fad2f14.tar.xz
disml-81a7b0de5ccef981d8895242d10aaff85fad2f14.zip
blech, I wanna be done with CI setup
-rw-r--r--.gitlab-ci.yml2
-rw-r--r--disml.opam2
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 <[email protected]>"
authors: "Adelyn Breedlove <[email protected]>"
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"]