For IFC export we don’t need to export the whole project - exporting only visible elements would be enough. IFC translator can be set to “General Parametric Export”.
It is worth bearing in mind that IFC does not support textures, so our export will generate one single file that needs to be uploaded to the repository. However, our model will not be in a single colour as with an STL file. IFC gives you the ability to display individual planes in the model, so in addition to textures, it's also a good idea to give the surfaces colours that resemble the finish texture in the section. This can be done in:
Final result in the viewer