Skip to content

Development

Monarin Uervirojnangkoorn requested to merge development into master

I’m going to merge development back to master. This will bring it to the more recent change that I talked about today. Both the short run_summit.sh -s -e and the full test (see readme.md) work. Let me know if you have any objection.

Merge request reports