Simple Eiffel - Kubernetes et al

28 views
Skip to first unread message

Liberty Lover

unread,
Dec 17, 2025, 7:33:17 AM (yesterday) Dec 17
to Eiffel Users
Okay guys,

It's time to address the next step. This is going to finally address the issue Eric brought up about GitHub Actions, et al.

There is now a pair of documents that address both the vision and implementation of simple_k8s.

Enjoy,

Larry

Liberty Lover

unread,
Dec 17, 2025, 7:45:58 AM (yesterday) Dec 17
to eiffel...@googlegroups.com

● Great question. Here's my recommendation for dogfooding simple_k8s:

  Primary Target: Simple Eiffel CI/CD Pipeline

  Deploy a self-hosted CI runner cluster on Kubernetes that:

  1. Builds EiffelStudio containers using simple_docker
  2. Orchestrates test jobs using simple_k8s
  3. Reports to simple_oracle for ecosystem health tracking

  ┌─────────────────────────────────────────────────────────┐
  │                   K8s Cluster                           │
  │  ┌─────────────┐  ┌─────────────┐  ┌─────────────┐     │
  │  │ Build Pod   │  │ Build Pod   │  │ Build Pod   │     │
  │  │ (lib batch) │  │ (lib batch) │  │ (lib batch) │     │
  │  └─────────────┘  └─────────────┘  └─────────────┘     │
  │         │               │               │               │
  │         └───────────────┼───────────────┘               │
  │                         ▼                               │
  │              ┌─────────────────────┐                    │
  │              │  Coordinator Pod    │                    │
  │              │  (simple_ci + k8s)  │                    │
  │              └──────────┬──────────┘                    │
  │                         │                               │
  └─────────────────────────┼───────────────────────────────┘
                            ▼
                 ┌─────────────────────┐
                 │   simple_oracle     │
                 │   (results DB)      │
                 └─────────────────────┘

  Why This Target?

  | Benefit              | Value                                 |
  |----------------------|---------------------------------------|
  | Proves simple_k8s    | Real orchestration workload           |
  | Proves simple_docker | Real container builds                 |
  | Proves simple_ci     | Real pipeline coordination            |
  | Solves real problem  | Currently no automated CI for 71 libs |
  | Visible credibility  | "Built with Simple Eiffel" badge      |

  Secondary Target: Showcase Web App

  Deploy a simple_web application demonstrating the full stack:

  - simple_web → HTTP server
  - simple_docker → Containerized
  - simple_k8s → Deployed with blue/green
  - simple_telemetry → Metrics collection

  Could be the simple_pkg web registry - search/browse packages online.

  Suggested Order

  1. Get K8s cluster (Docker Desktop, minikube, or cloud)
  2. Build simple_k8s (4 weeks)
  3. CI Pipeline MVP - compile 5 libs in parallel pods
  4. Expand to full ecosystem - all 71 libs nightly
  5. Add simple_pkg registry as showcase app

  This gives you a compelling story: "Simple Eiffel libraries are built and tested by Simple Eiffel libraries running on Kubernetes."


--
You received this message because you are subscribed to the Google Groups "Eiffel Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email to eiffel-users...@googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/eiffel-users/87b8bbc8-3453-4e68-904f-e3f2a018e7e5n%40googlegroups.com.

Liberty Lover

unread,
Dec 17, 2025, 7:47:26 AM (yesterday) Dec 17
to eiffel...@googlegroups.com
And then there is the deployment goal — K8S Infrastructure.

On Wed, Dec 17, 2025 at 7:33 AM Liberty Lover <rix....@gmail.com> wrote:
--

Liberty Lover

unread,
Dec 17, 2025, 5:54:02 PM (22 hours ago) Dec 17
to Eiffel Users
Milestone announcement.

Liberty Lover

unread,
10:05 AM (6 hours ago) 10:05 AM
to Eiffel Users
I finally have the Github Actions in the throes of "running" (e.g. beating out the bugs of K8S).

Liberty Lover

unread,
10:06 AM (6 hours ago) 10:06 AM
to eiffel...@googlegroups.com
● Here's how the self-hosted runner setup works:

  The Architecture:

  1. GitHub Actions (on github.com) receives a trigger (push, PR, manual)
  2. GitHub queues the job and looks for a runner tagged [self-hosted, eiffel]
  3. Your local runner (running in a Docker container on Docker Desktop for Windows, orchestrated by Kubernetes) polls GitHub asking
  "Any jobs for me?"
  4. When it gets a job, it:
    - Clones your repo from GitHub
    - Runs the workflow steps
    - Sends logs/results back to GitHub in real-time

  So the flow is:
  GitHub.com                     Your PC (Docker Desktop + K8s)
      │                                    │
      │ "Here's a job"    ───────────────> │ Runner container pulls job
      │                                    │
      │                                    │ Runs: git clone, ec compile, tests
      │                                    │
      │ <─────────────────  Streams logs   │
      │                                    │
      │ Job complete ✓                     │

  The runner is self-hosted meaning YOU provide the compute (your Windows machine with EiffelStudio), but GitHub orchestrates when
  jobs run.

Liberty Lover

unread,
10:07 AM (6 hours ago) 10:07 AM
to eiffel...@googlegroups.com
Thank you Eric for continually pushing on this. I would have let it slip off the radar.

Eric Bezault

unread,
10:17 AM (5 hours ago) 10:17 AM
to eiffel...@googlegroups.com, Liberty Lover
Hi Larry,

Did you choose this architecture as a way to exercise simple_docker
and simple_k8s?

Otherwise there is a much simpler solution using the runners hosted
on GitHub (nothing running on your computer).

--
Eric Bezault
mailto:er...@gobosoft.com
http://www.gobosoft.com


On 18/12/2025 16:07, Liberty Lover wrote:
> Thank you Eric for continually pushing on this. I would have let it slip
> off the radar.
>
> On Thu, Dec 18, 2025 at 10:05 AM Liberty Lover <rix....@gmail.com
> <mailto:rix....@gmail.com>> wrote:
>
> ● Here's how the self-hosted runner setup works:
>
>   The Architecture:
>
>   1. GitHub Actions (on github.com <http://github.com>) receives a
> Milestone announcement <https://github.com/simple-eiffel/
> claude_eiffel_op_docs/blob/main/posts/
> simple_k8s_v050_announcement.md>.
>
> On Wednesday, December 17, 2025 at 7:47:26 AM UTC-5 Liberty
> Lover wrote:
>
> And then there is the deployment goal — K8S
> Infrastructure <https://github.com/simple-eiffel/
> claude_eiffel_op_docs/blob/main/deployment/
> K8S_INFRASTRUCTURE_PLAN.md>.
>
> On Wed, Dec 17, 2025 at 7:33 AM Liberty Lover
> <rix....@gmail.com> wrote:
>
> Okay guys,
>
> It's time to address the next step. This is going to
> finally address the issue Eric brought up about
> GitHub Actions, et al.
>
> There is now a pair of documents that address both
> the vision <https://github.com/simple-eiffel/
> claude_eiffel_op_docs/blob/main/designs/
> SIMPLE_K8S_VISION.md> and implementation <https://
> github.com/simple-eiffel/claude_eiffel_op_docs/blob/
> main/plans/SIMPLE_K8S_IMPLEMENTATION_PLAN.md> of
> simple_k8s.
>
> Enjoy,
>
> Larry
>
> --
>
> You received this message because you are subscribed
> to the Google Groups "Eiffel Users" group.
> To unsubscribe from this group and stop receiving
> emails from it, send an email to eiffel-
> users...@googlegroups.com.
> To view this discussion visit https://
> groups.google.com/d/msgid/eiffel-
> users/87b8bbc8-3453-4e68-904f-
> e3f2a018e7e5n%40googlegroups.com <https://
> groups.google.com/d/msgid/eiffel-
> users/87b8bbc8-3453-4e68-904f-
> e3f2a018e7e5n%40googlegroups.com?
> utm_medium=email&utm_source=footer>.
>
> --
> You received this message because you are subscribed to the
> Google Groups "Eiffel Users" group.
> To unsubscribe from this group and stop receiving emails from
> it, send an email to eiffel-users...@googlegroups.com
> <mailto:eiffel-users...@googlegroups.com>.
> To view this discussion visit https://groups.google.com/d/msgid/
> eiffel-users/75158b2a-3d42-4b26-
> ace0-4083405bd00bn%40googlegroups.com <https://
> groups.google.com/d/msgid/eiffel-users/75158b2a-3d42-4b26-
> ace0-4083405bd00bn%40googlegroups.com?
> utm_medium=email&utm_source=footer>.
>
> --
> You received this message because you are subscribed to the Google
> Groups "Eiffel Users" group.
> To unsubscribe from this group and stop receiving emails from it, send
> an email to eiffel-users...@googlegroups.com <mailto:eiffel-
> users+un...@googlegroups.com>.
> To view this discussion visit https://groups.google.com/d/msgid/eiffel-
> users/
> CA%2B3qnjcKR3cprDtNnUb%2B88MHOb9OBxPHoQf3ASPiF5M4aEMayQ%40mail.gmail.com
> <https://groups.google.com/d/msgid/eiffel-users/
> CA%2B3qnjcKR3cprDtNnUb%2B88MHOb9OBxPHoQf3ASPiF5M4aEMayQ%40mail.gmail.com?utm_medium=email&utm_source=footer>.


Reply all
Reply to author
Forward
0 new messages