Repository navigation

Add a CI build that uses mypyc - #6869

Merged

msullivan merged 4 commits into

May 20, 2019

Merged

Add a CI build that uses mypyc#6869
msullivan merged 4 commits into
masterfrom
mypyc-ci

Commits on May 20, 2019
- Try testing when compiled with mypyc
  msullivan
  committed
  80e2c5e
- How about with -O3? Faster or slower??
  msullivan
  committed
  289a71f
- Revert "How about with -O3? Faster or slower??"
  msullivan
  committed
  4c33680
- fix lint
  msullivan
  committed
  96b9631