Skip to content
Snippets Groups Projects
Commit 0844b5aa authored by Sergey Bozhko's avatar Sergey Bozhko :eyes: Committed by Björn Brandenburg
Browse files

remove [sequential_tasks] assumption in one proof

parent 8ae19a4b
No related branches found
No related tags found
Checking pipeline status