--- Begin Message ---
Subject: |
[PATCH gnome-team 0/2] Fix todoman test failure |
Date: |
Sat, 23 Mar 2024 11:24:33 +0100 |
User-agent: |
Evolution 3.48.4 |
Dear Guix,
The todoman test suite should be run with the "ci" hypothesis profile, so as
to disable deadlines and other nice improvements.
What do you think?
Best regards,
Vivien
Vivien Kraus (2):
gnu: todoman: Update style.
gnu: todoman: Fix tests.
gnu/packages/task-management.scm | 32 +++++++++++++++++---------------
1 file changed, 17 insertions(+), 15 deletions(-)
base-commit: a9951a74a591a9b22ee2d93d8efe0523c6c42c97
--
2.41.0
--- End Message ---
--- Begin Message ---
Subject: |
Re: [PATCH gnome-team 2/2] gnu: todoman: Fix tests. |
Date: |
Sun, 24 Mar 2024 12:15:39 +0100 |
User-agent: |
Evolution 3.46.4 |
Am Samstag, dem 23.03.2024 um 11:52 +0100 schrieb Vivien Kraus:
> Le samedi 23 mars 2024 à 11:50 +0100, Liliana Marie Prikler a écrit :
> > Am Samstag, dem 23.03.2024 um 11:21 +0100 schrieb Vivien Kraus:
> > > * gnu/packages/task-management.scm (todoman) [#:phase 'check]:
> > > Load the `ci' hypothesis profile provided by upstream.
> > >
> > > Change-Id: I2ea01f8c424a50cd617303f8338f92563e7b0204
> > SGTM. If you're okay with it, I'd locally rephrase this to
> > [#:phases] <check> and push it with that change once it's confirmed
> > by the rest,WDTY?
>
> Sorry, I always hesitate with this. I will try my best to do the
> correct thing in the future, but in the mean time, please go ahead.
It's fine – I do fall back to my own writing style a lot, and the
guidelines aren't super close on the details as of yet, so I sometimes
go ahead with edits and hesitate at other times.
Anyway, pushed.
--- End Message ---