Skip to content

Draft: Staging MR for various refactorings

Robbert Krebbers requested to merge ci/refactor_staging into master

It turns out that properly fixing !507 (closed) opened quite a can of worms. We have the following related MRs now:

The plan is to merge all these MRs into a staging branch (the one linked to this MR) and then merge the staging branch to master. This way we have to fix reverse dependencies just once.

Edited by Robbert Krebbers

Merge request reports