Skip to content

Update develop documentation. #47

Merged
thompson318 merged 3 commits intodevfrom
st/fix-dev-docs
Feb 5, 2026
Merged

Update develop documentation. #47
thompson318 merged 3 commits intodevfrom
st/fix-dev-docs

Conversation

@thompson318
Copy link
Collaborator

There were some errors in the develop.md documentation, identified here #34 (comment). This should fix them, helping developers run tests locally.

Co-authored-by: Jeremy Stein <j.stein@ucl.ac.uk>
@thompson318 thompson318 merged commit 0950960 into dev Feb 5, 2026
2 checks passed
@thompson318 thompson318 deleted the st/fix-dev-docs branch February 5, 2026 08:16
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants