Skip to content

remove proof-term from JobReady type-class

Sergey Bozhko requested to merge sbozhko/rt-proofs:generalize-jobready into master

My attempt to merge !351 (closed) in a sequence of atomic commits.

Edited by Sergey Bozhko

Merge request reports