Skip to content

Boogie

Compare
Choose a tag to compare
@github-actions github-actions released this 10 Oct 15:55
· 77 commits to master since this release
v3.0.5
c59e3cb
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode. 
Allow task scheduler parameter to ExecutionEngine (#794)

This allows the creator of an `ExecutionEngine` to pass in a
`CustomStackSizePoolTaskScheduler` so that the scheduler can be shared
between different instantiations of an execution engine. We normally
want only one scheduler per machine, but sometimes want multiple
execution engines.
Assets 15