On using OneFuzz for z3's CI/CD

[NikolajBjorner]

There is a community of fuzzers that are run on z3.
They are run independently and from what I learned in one interaction on department server machines.
The OneFuzz infrastructure, https://github.com/microsoft/onefuzz, is developed to streamline fuzzing services
and bring it into CI/CD pipelines. Running OneFuzz requires Azure account setups but could automate running fuzzing on integrations.
I wonder if integration into OneFuzz is seen as a useful target state for developers of fuzzers.