Fixes for compatibility with Oscar 1.0, add CI tests with Oscar 1.0#219
Merged
fingolfin merged 5 commits intomasterfrom mh/oscar-1.0Oct 15, 2024
+43-8
Commits
Commits on Oct 14, 2024
- committed
- committed
Commits on Oct 15, 2024
- committed
- committed
- committed