Re: core-updates schedule

2018-08-02 Thread Efraim Flashner
On Wed, Aug 01, 2018 at 08:41:00PM +0200, Ricardo Wurmus wrote: > Hello Guix! > > This is a reminder about the “core-updates” branch. Our plan was to > freeze the branch on <2018-08-06 Mon> and aim to merge the branch into > “master” on <2018-08-20 Mon>, dependent on how long it takes to fix all

IRC freenode issue

2018-08-02 Thread Clément Lassieur
Hi, There seems to be an issue with #guix: I can't join anymore. The error is: Cannot join channel (+i) - you must be invited I think it also happens to other people (ng0, marusich). Clément

Re: IRC freenode issue

2018-08-02 Thread Andy Wingo
Hi, On Thu 02 Aug 2018 15:04, Clément Lassieur writes: > There seems to be an issue with #guix: I can't join anymore. The error > is: > > Cannot join channel (+i) - you must be invited > > I think it also happens to other people (ng0, marusich). This is a configuration error I think. There

Re: IRC freenode issue

2018-08-02 Thread Mark H Weaver
Hi Clément, Clément Lassieur writes: > There seems to be an issue with #guix: I can't join anymore. The error > is: > > Cannot join channel (+i) - you must be invited > > I think it also happens to other people (ng0, marusich). Sorry, this was my mistake. I typed the wrong command while tr

Re: IRC freenode issue

2018-08-02 Thread Clément Lassieur
Hi Mark, Mark H Weaver writes: > Hi Clément, > > Clément Lassieur writes: > >> There seems to be an issue with #guix: I can't join anymore. The error >> is: >> >> Cannot join channel (+i) - you must be invited >> >> I think it also happens to other people (ng0, marusich). > > Sorry, this wa

Re: Web interface pushed

2018-08-02 Thread Gábor Boskovits
Clément Lassieur ezt írta (időpont: 2018. aug. 2., Cs, 8:54): > Hi Tatiana, > > Tatiana Sholokhova writes: > > > Hi all, > > > > Thank you for the congratulations! I am excited to have the web-interface > > pushed into the master branch. I would like to thank you all for your > great > > support

Re: Web interface pushed

2018-08-02 Thread Clément Lassieur
Hi Gábor, Gábor Boskovits writes: > Also most of the time the results differing from the results in the > previous evaluations are the most interesting. > Can we get this kind of information somehow? About that, I am preparing a commit that would get Cuirass to stop building all derivations, bu

Re: Web interface pushed

2018-08-02 Thread Amirouche Boubekki
I read some of the code, I like it :) diff --git a/src/cuirass/base.scm b/src/cuirass/base.scm index 82f49a4..af24a28 100644 --- a/src/cuirass/base.scm +++ b/src/cuirass/base.scm @@ -20,6 +20,10 @@ ;;; You should have received a copy of the GNU General Public License ;;; along with Cuirass. If

Re: Web interface pushed

2018-08-02 Thread Gábor Boskovits
Clément Lassieur ezt írta (időpont: 2018. aug. 2., Cs, 18:49): > Hi Gábor, > > Gábor Boskovits writes: > > > Also most of the time the results differing from the results in the > > previous evaluations are the most interesting. > > Can we get this kind of information somehow? > > About that, I a

Re: Web interface pushed

2018-08-02 Thread Amirouche Boubekki
Le jeu. 2 août 2018 à 20:49, Gábor Boskovits a écrit : > Clément Lassieur ezt írta (időpont: 2018. aug. 2., > Cs, 18:49): > >> Hi Gábor, >> >> Gábor Boskovits writes: >> >> > Also most of the time the results differing from the results in the >> > previous evaluations are the most interesting.

Re: Web interface pushed

2018-08-02 Thread Clément Lassieur
Amirouche Boubekki writes: > You do link the diff of each commit with the files that were impacted by > the change and must be re-evaluated? You mean on the web interface? We can actually see the commit that triggered a new evaluation, and displaying the diff could be a nice improvement!

Re: Web interface pushed

2018-08-02 Thread Clément Lassieur
Amirouche Boubekki writes: > I read some of the code, I like it :) Thank you four that review Amirouche! I'll have a look when I find the time, and reply your questions if I can, but in the meantime, don't hesitate to send patches. :-)

Re: IRC freenode issue

2018-08-02 Thread Ricardo Wurmus
Clément Lassieur writes: > There seems to be an issue with #guix: I can't join anymore. The error > is: > > Cannot join channel (+i) - you must be invited > > I think it also happens to other people (ng0, marusich). It also happened to me. Mark granted me ops, but since I could not join #g

Re: IRC freenode issue

2018-08-02 Thread Amirouche Boubekki
Le ven. 3 août 2018 à 00:15, Ricardo Wurmus a écrit : > > Clément Lassieur writes: > > > There seems to be an issue with #guix: I can't join anymore. The error > > is: > > > > Cannot join channel (+i) - you must be invited > > I would be much happier if we could filter messages or automatical