diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index dc69238d..72bd8b92 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml @@ -4,7 +4,7 @@ name: Deploy odoc to GitHub Pages on: push: branches: - - main + - master permissions: read-all diff --git a/opam-ci-check.opam b/opam-ci-check.opam index 2028eb05..c28ae404 100644 --- a/opam-ci-check.opam +++ b/opam-ci-check.opam @@ -1,4 +1,3 @@ -# This file is generated by dune, edit dune-project instead opam-version: "2.0" synopsis: "CLI tool that tests whether packages are publishable on the opam repository" @@ -14,9 +13,9 @@ authors: [ ] license: "Apache-2.0" tags: ["opam" "ci" "lint" "reverse dependency"] -homepage: "https://github.com/ocurrent/opam-ci-check" -doc: "https://www.ocurrent.org/opam-ci-check/opam-ci-check/index.html" -bug-reports: "https://github.com/ocurrent/opam-ci-check/issues" +homepage: "https://github.com/ocurrent/opam-repo-ci/tree/master/opam-ci-check" +doc: "https://www.ocurrent.org/opam-repo-ci/opam-ci-check/index.html" +bug-reports: "https://github.com/ocurrent/opam-repo-ci/issues" depends: [ "ocaml" {>= "4.14.0"} "dune" {>= "3.16"} @@ -46,4 +45,4 @@ build: [ "@doc" {with-doc} ] ] -dev-repo: "git+https://github.com/ocurrent/opam-ci-check.git" +dev-repo: "git+https://github.com/ocurrent/opam-repo-ci.git"