From fb71a50b3d65df21132ff6ddc046b74d11ae1e8a Mon Sep 17 00:00:00 2001 From: Alberto Cavalcante Date: Wed, 31 Jul 2024 06:36:50 -0300 Subject: [PATCH] add stardoc using http_archive instead of git_repository + upgrade to 0.7.0 --- WORKSPACE.bazel | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) diff --git a/WORKSPACE.bazel b/WORKSPACE.bazel index e566659..5630184 100644 --- a/WORKSPACE.bazel +++ b/WORKSPACE.bazel @@ -30,10 +30,13 @@ load("//antlr:repositories.bzl", "rules_antlr_dependencies") rules_antlr_dependencies(2, 3, 4) -git_repository( +http_archive( name = "io_bazel_stardoc", - remote = "https://github.com/bazelbuild/stardoc.git", - tag = "0.4.0", + sha256 = "dd7f32f4fe2537ce2452c51f816a5962d48888a5b07de2c195f3b3da86c545d3", + urls = [ + "https://mirror.bazel.build/github.com/bazelbuild/stardoc/releases/download/0.7.0/stardoc-0.7.0.tar.gz", + "https://github.com/bazelbuild/stardoc/releases/download/0.7.0/stardoc-0.7.0.tar.gz", + ], ) load("@io_bazel_stardoc//:setup.bzl", "stardoc_repositories")