Boogie
github-actions
released this
22 Jul 16:49
·
298 commits
to master
since this release
Make TryRun thread safe (#605) ### Changes - Make `IImpelementationTask.TryRun` thread-safe - Add `IImpelementationTask.IsIdle` ### Testing - Update tests to exercise new behavior.