Re: [PATCH 2/3] ci: Drop circleci config

Paul Moore <[email protected]> Thu, 23 Jul 2026 13:36:11 -0400
Newsgroups org.kernel.vger.selinux
Message-ID <CAHC9VhQ2A878m1yTBxQc5a+GzhMSgPYR8wqp39URh37niFp=7A@mail.gmail.com>
On Thu, Jul 23, 2026 at 9:48 AM Stephen Smalley
<[email protected]> wrote:
> On Thu, Jul 23, 2026 at 2:25 AM Jason Zaman <[email protected]> wrote:
> >
> > We have not used circleci in many years, the configs are very out of
> > date compared to the github actions so need to get cleaned up.
> >
> > Signed-off-by: Jason Zaman <[email protected]>
>
> Acked-by: Stephen Smalley <[email protected]>

Reviewed-by: Paul Moore <[email protected]>

-- 
paul-moore.com