Reuben Gardos Reid

Results 32 comments of Reuben Gardos Reid

With the following docstring ```julia """ $(TYPEDSIGNATURESNORETURN) """ function get_solver(pi::ProgramIterator) return pi.solver end ``` I'm getting ```julia search: get_solver get_solver(pi) get_solver(pi::ProgramIterator) ``` I wouldn't expect to see the untyped signature...

Stumped on this for the moment, I'll have to come back to it tomorrow.

No luck reproducing that behavior I saw while testing the changes in another repo, so I think this is ready to go as-is. In the process of trying to reproduce...

Reference tests are removed, and the branch is up to date. Any other changes you'd like to see for this to go through?

Converting existing PRs to Drafts, trying to apply BestieTemplate.jl instead, as this will result in less code for us to maintain in the future.

Thanks for the suggestion, @giordano! Removing the dependency on `Pkg` definitely makes sense. I had started adding workflows for doctests to the individual repositories in #63, and I could also...

Can translate section from Herb paper to make it more beginner-friendly cc @THinnerichs

@oscardssmith any chance you could take a look at this? I assume this is just an outdated or missing `DOCUMENTER_KEY`.

You can also manually trigger a run by going to `Actions` -> `TagBot` (lefthand side) -> `Run workflow` (top right above the list of runs)