[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Migrating to sourcehut - what's missing?
From: |
Theodor Thornhill |
Subject: |
Re: Migrating to sourcehut - what's missing? |
Date: |
Wed, 22 Dec 2021 14:43:30 +0100 |
On 22 December 2021 14:38:43 CET, Lars Ingebrigtsen <larsi@gnus.org> wrote:
>And we've probably covered this before, but I've forgotten: What's the
>CI situation at Sourcehut? I poked around briefly, but didn't see
>anything in
>
> https://git.sr.ht/~emacs/emacs
>
>Is it an add-on service?
>
You just supply a build.yml, and it runs on many platforms. See
https://man.sr.ht/builds.sr.ht/
Theo
- Re: Migrating to sourcehut - what's missing?, (continued)
- Re: Migrating to sourcehut - what's missing?, Po Lu, 2021/12/22
- Re: Migrating to sourcehut - what's missing?, Theodor Thornhill, 2021/12/22
- Re: Migrating to sourcehut - what's missing?, Lars Ingebrigtsen, 2021/12/22
- Re: Migrating to sourcehut - what's missing?, Theodor Thornhill, 2021/12/22
- Re: Migrating to sourcehut - what's missing?, Lars Ingebrigtsen, 2021/12/22
- Re: Migrating to sourcehut - what's missing?, Theodor Thornhill, 2021/12/22
- Re: Migrating to sourcehut - what's missing?, Lars Ingebrigtsen, 2021/12/22
- Re: Migrating to sourcehut - what's missing?, Stefan Kangas, 2021/12/22
- Re: Migrating to sourcehut - what's missing?, Theodor Thornhill, 2021/12/22
- Re: Migrating to sourcehut - what's missing?, Lars Ingebrigtsen, 2021/12/22
- Re: Migrating to sourcehut - what's missing?,
Theodor Thornhill <=
- Re: Migrating to sourcehut - what's missing?, Lars Ingebrigtsen, 2021/12/22
- Re: Migrating to sourcehut - what's missing?, Theodor Thornhill, 2021/12/22
- Re: Migrating to sourcehut - what's missing?, Lars Ingebrigtsen, 2021/12/22
- Re: Migrating to sourcehut - what's missing?, Theodor Thornhill, 2021/12/22
- Re: Migrating to sourcehut - what's missing?, Lars Ingebrigtsen, 2021/12/22
- Re: Migrating to sourcehut - what's missing?, Lars Ingebrigtsen, 2021/12/22
- Re: Migrating to sourcehut - what's missing?, Óscar Fuentes, 2021/12/22
- Re: Migrating to sourcehut - what's missing?, Lars Ingebrigtsen, 2021/12/22
- Re: Migrating to sourcehut - what's missing?, Óscar Fuentes, 2021/12/22
- Re: Migrating to sourcehut - what's missing?, Lars Ingebrigtsen, 2021/12/22