Skip to content

Mdweisner ood 2#257

Merged
mdweisner merged 8 commits intomainfrom
mdweisner-ood-2
Jan 6, 2026
Merged

Mdweisner ood 2#257
mdweisner merged 8 commits intomainfrom
mdweisner-ood-2

Conversation

@mdweisner
Copy link
Member

fix ood url

ood url to ood.torch
ood > ood.torch
ood>ood.torch
ood > ood.torch
ood > ood.torch
ood > ood.torch
@mdweisner mdweisner merged commit ebec0e0 into main Jan 6, 2026
5 checks passed
@mdweisner mdweisner deleted the mdweisner-ood-2 branch January 6, 2026 20:09
@github-actions
Copy link

github-actions bot commented Jan 6, 2026

PR Preview Action v1.8.0

🚀 View preview at
https://NYU-RTS.github.io/rts-docs/pr-preview/pr-257/

Built to branch gh-pages at 2026-01-06 20:10 UTC.
Preview will be ready when the GitHub Pages deployment is complete.

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.

1 participant