search

microsoft / knossos-ksc

Compiler with automatic differentiation
Other
45 stars 10 forks source link

Fix sqrl compile failure #1057

Closed awf closed 2 years ago

awf commented 2 years ago

At #968, sqrl was failing tests because of a compilation failure, which wasn't caught because the shell script running multiple calls to pytest did not fail when one call failed. This PR

  1. Makes github workflow benchmarks fail when one fails
  2. Fixes the compilation issue