| Commit message (Collapse) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| | * | 5513 | Kartik Agaram | 2019-08-14 | 1 | -22/+22 | |
| | | | ||||||
| | * | 5511 | Kartik Agaram | 2019-08-14 | 1 | -34/+35 | |
| | | | ||||||
| | * | 5510 | Kartik Agaram | 2019-08-14 | 1 | -1/+1 | |
| | | | | | | | | | | | Stop supporting CFLAGS in CI scripts; they're now meaty enough that I never run them locally in debug mode. | |||||
| * | | fix a missing test of desugar in CI | Kartik Agaram | 2019-08-16 | 1 | -0/+20 | |
| | | | ||||||
| * | | add desugar to CI | Kartik Agaram | 2019-08-13 | 1 | -0/+5 | |
| |/ | ||||||
| * | 5485 - promote SubX to top-level | Kartik Agaram | 2019-07-27 | 1 | -0/+336 | |