Skip to content
Snippets Groups Projects
Verified Commit 0e40dfad authored by Georgi Michev's avatar Georgi Michev
Browse files

Update Proof Chains test

parent d3443921
Branches
No related tags found
1 merge request!62Update Proof Chains test
Pipeline #68954 passed