Working around failure to fetch dependency in CI

Hello! I am working on implementing a CI pipeline in sourcehut and I am hitting a snag with github’s rate limits during the fetch stage.

It appears to be due to tracy_zig’s request to fetch the upstream tracy like so:

.tracy = .{
    .url = "https://github.com/wolfpld/tracy/archive/refs/tags/v0.13.1.tar.gz",
    .hash = "N-V-__8AAOncKwEm1F9c5LrT7HMNmRMYX8-fAoqpc6YyTu9X",
},

Sourcehut is able to fetch wolfpld/tracy itself via the url https://github.com/wolfpld/tracy#v0.13.1, but I can’t work around this using the --fork=../tracy flag since the wolfpld/tracy does not have a build.zig.zon file.

What other methods could I use to work around this?

I’m not necessarily intending to build with profiling in CI so it would be okay to somehow skip entirely, but I think I’d have to patch tracy_zig to make the dependency lazy, right?

Could you make tracy_zig itself a lazy dependency?