When you build the docs locally, all of the API docs show up in the right place (ACSets.jl/docs/build/api/index.html). But on Github actions, they are missing. This has actually been broken the whole time. But I can't see how the CI would be building it differently than running docs/make.jl locally.
When you build the docs locally, all of the API docs show up in the right place (ACSets.jl/docs/build/api/index.html). But on Github actions, they are missing. This has actually been broken the whole time. But I can't see how the CI would be building it differently than running docs/make.jl locally.