From abela at chalmers.se  Tue Dec  3 20:15:27 2019
From: abela at chalmers.se (Andreas Abel)
Date: Tue, 3 Dec 2019 20:15:27 +0100
Subject: [Agda-dev] CI now using Github Actions
Message-ID: <4f21d89d-38da-c0e3-f330-68e6e50513d5@chalmers.se>

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/

From liang.ting.chen.tw at gmail.com  Tue Dec  3 21:48:41 2019
From: liang.ting.chen.tw at gmail.com (Liang-Ting Chen)
Date: Tue, 3 Dec 2019 20:48:41 +0000
Subject: [Agda-dev] CI now using Github Actions
In-Reply-To: <CAA_XzxM1HYdgk4weXbJfPopTHc4R5_4w6W5KMYTQneSrXHmpWA@mail.gmail.com>
References: <4f21d89d-38da-c0e3-f330-68e6e50513d5@chalmers.se>
	<CAA_XzxM1HYdgk4weXbJfPopTHc4R5_4w6W5KMYTQneSrXHmpWA@mail.gmail.com>
Message-ID: <CAA_XzxM2isxWWn9Hz_RTAUy2WxE2KHsmCjvrjV36wVmwNuoiHA@mail.gmail.com>

[ 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>

From asr at eafit.edu.co  Sun Dec 22 12:41:23 2019
From: asr at eafit.edu.co (Andres Sicard Ramirez)
Date: Sun, 22 Dec 2019 11:41:23 +0000
Subject: [Agda-dev] [ANNOUNCE] Agda 2.6.1 release candidate 1
Message-ID: <CAOUWSGAA8XC_Kde2TQf4a8M-TSBWkrx9N9uuzb--7PftxF9QnQ@mail.gmail.com>

Dear all,

The Agda Team is very pleased to announce the first release candidate
of Agda 2.6.1. We plan to release 2.6.1 in three weeks.

Installation
=======

The RC can be installed using the following instructions:

  $ cabal install
https://hackage.haskell.org/package/Agda-2.6.0.1.20191219/candidate/Agda-2.6.0.1.20191219.tar.gz

or

  $ cabal get https://hackage.haskell.org/package/Agda-2.6.0.1.20191219/candidate/Agda-2.6.0.1.20191219.tar.gz
  $ cd Agda-2.6.0.1.20191219.tar.gz
  $ cabal install

GHC supported versions
===============

The RC has been tested with GHC 8.8.1, 8.6.5, 8.4.4, 8.2.2 and 8.0.2.
Support for GHC 7.10.3 was removed.

Standard library
==========

For the time being, you can use the *experimental* branch of the
standard library which is compatible with the RC. This branch is
available at

    https://github.com/agda/agda-stdlib/

What is new, fixed issues and incompatibilities
============================

  https://hackage.haskell.org/package/Agda-2.6.0.1.20191219/candidate/changelog

Know issues and regressions
==================

There are some issues and regressions we plan to fix before the final
release. See open issues with milestone 2.6.1 in the bug tracker
(https://github.com/agda/agda/issues).


Enjoy the RC and please test as much as possible.

--
Andr?s, on behalf of the Agda Team