Merge main to dev#786

Closed

andrewfrench wants to merge 2 commits intodevfrom main

+345-143

Commits on May 7, 2024

Add structure run driver to doc sidebar (#776 )
aodhanroche
authored

Commits on May 15, 2024

Release v0.25.1 (#785 )

authored