Github CI down? Is it working for you?

[setop]

Where do you put these settings ? within the mix.exs ? What syntax exactly ?

Thanks for your help