Merge pull request #3607 from jmarrero/re-add-jenkins
authorColin Walters <walters@verbum.org>
Fri, 31 Jul 2026 11:37:52 +0000 (07:37 -0400)
committerGitHub <noreply@github.com>
Fri, 31 Jul 2026 11:37:52 +0000 (07:37 -0400)
ci: revert removing coreos-ci Jenkins CI job


Trivial merge