microsoft / CCF

Confidential Consortium Framework
https://microsoft.github.io/CCF/
Apache License 2.0
761 stars 205 forks source link

Remove TLAi #6156

Closed achamayou closed 2 weeks ago

achamayou commented 2 weeks ago

Reasons for removal:

In its current form, this degrades useful signals (CI status, Security notifications), without substantially improving spec comments.

This may be useful as a locally-run, manual pass, in a context where a contributor is looking to spend some time cleaning up the spec comments. But it is unsuitable as a CI step.