317ce6b9

By: ValentinHirschi <valentin.hirschi@gmail.com>

Pin the tested Symbolica integration and record consolidated validation
GitHub
configure