Closed joosthooz closed 3 years ago
This PR depends on https://github.com/abs-tudelft/fletcher-oc-accel/pull/8 (more specifically, https://github.com/abs-tudelft/fletcher-oc-accel/pull/8/commits/d032996a7c5c4faee2ad87f903909eb04b9e5693)
Putting the new platform first makes this a breaking change, but I doubt anyone is going to be affected by it. There's no need to wait on that other PR before we can merge this.
bors r+
Build succeeded:
This PR depends on https://github.com/abs-tudelft/fletcher-oc-accel/pull/8 (more specifically, https://github.com/abs-tudelft/fletcher-oc-accel/pull/8/commits/d032996a7c5c4faee2ad87f903909eb04b9e5693)