Started 1 mo 8 days ago
Took 52 sec

Success Build #86 (Jul 8, 2020 5:22:29 AM)

Changes
  1. Type desugaring during text -> core phase (#367) (details / githubweb)

Push event to branch master at 5:22:23 AM on Jul 8, 2020

Revision: 54eb26f0a532dfde443d7ac39f0e6cb0f9275a6c
  • master