[Agda-dev] CI now using Github Actions

[Andreas Abel]

It seems that CI is now using Github Actions, do I need to subscribe to 
some kind of notifications to be alerted if my patch fails CI?  And if 
yes, how do I subscribe?

Cheers,
Andreas

-- 
Andreas Abel  <><      Du bist der geliebte Mensch.

Department of Computer Science and Engineering
Chalmers and Gothenburg University, Sweden

andreas.abel at gu.se
http://www.cse.chalmers.se/~abela/