Test CI for TB

Neven Villanirequested to merge
neven/simuliris:tree-borrows into ci/tree-borrows

This is a test. The commit history is horrendous and will have to be cleaned up.

Merge request reports