Re: Please enable CI for herdtools7

To: debian-ocaml-maint@lists.debian.org
Subject: Re: Please enable CI for herdtools7
From: Sebastian Andrzej Siewior <sebastian@breakpoint.cc>
Date: Sun, 1 Mar 2026 13:10:47 +0100
Message-id: <[🔎] 20260301121047.NOF4g7LB@breakpoint.cc>
In-reply-to: <20260226214242.p9XfLjeq@breakpoint.cc>
References: <20260226214242.p9XfLjeq@breakpoint.cc>

On 2026-02-26 22:42:44 [+0100], To debian-ocaml-maint@lists.debian.org wrote:
> someone please enable it?

Thank you Stéphane. I managed to subscribe to the list in the meantime
;)
 
Sebastian

Reply to:

Next by Date: [Git][ocaml-team/ocaml] Pushed new tag archive/debian/5.4.0-3
Next by thread: [Git][ocaml-team/ocaml] Pushed new tag archive/debian/5.4.0-3
Index(es):
- Date
- Thread