Skip to content

Get rid of docker builds #79

Closed
Closed

Description

@donhardman

We do not need to build and publish Docker here because we are using Execute and building Docker with it in a different way.

We should remove it from the CI.

Activity

  1. self-assigned this
    on Feb 20, 2026
  2. donhardman commented on Mar 5, 2026

    @donhardman
    MemberAuthor

    Implemented: #82

  3. added theissue type on Mar 5, 2026
  4. donhardman commented on Mar 12, 2026

    @donhardman
    MemberAuthor

    Closing as merged

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

Labels

No labels
No labels

Type

Projects

No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions