Skip to content

TB after CI

Neven Villanirequested to merge
ci/tree-borrows into master
  • A couple WF steps (still with the incomplete WF definition though)
  • some basic documentation
    • README in tree_borrows/
    • header comment in disjoint.v

Merge request reports