[Agda-dev] CI now using Github Actions

[Liang-Ting Chen]

[ Sorry, I thought I have replied to the mailing list. ]

---------- Forwarded message ---------
From: Liang-Ting Chen <liang.ting.chen.tw at gmail.com>
Date: Tue, 3 Dec 2019 at 20:16
Subject: Re: [Agda-dev] CI now using Github Actions
To: Andreas Abel <abela at chalmers.se>


Hi Andreas,

You should receive the notification for failed workflows by email
automatically without doing anything.

If not, log into your GitHub account and go to Setting \ Notifications. You
will find the notification setting for GitHub Actions.

Let me know if you have any questions.

Cheers,
Liang-Ting

On Tue, 3 Dec 2019 at 19:15, Andreas Abel <abela at chalmers.se> wrote:

> 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/
> _______________________________________________
> Agda-dev mailing list
> Agda-dev at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda-dev
>
-- 
— LT
-- 
— LT
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda-dev/attachments/20191203/28ae2b8c/attachment.html>