Maintenance will be performed on git.ligo.org, chat.ligo.org, and docs.ligo.org, starting at approximately 10am CDT Tuesday 20 August 2019. The maintenance is expected to take around an hour and here will be two short periods of downtime, one at the beginning of the maintenance and another at the end.

Add LICENSE

3 jobs for master in 1 minute and 15 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Test
passed #230712
test

00:00:46

 
  Deploy
passed #230713
pages

00:00:29

passed pages:deploy

00:00:00