Skip to content
This repository was archived by the owner on Jul 10, 2025. It is now read-only.

Use mini refinery parent image #13

Merged
FelixKirsch merged 3 commits into from
Oct 26, 2022
Merged

Use mini refinery parent image #13

FelixKirsch merged 3 commits into from
Oct 26, 2022

Conversation

@FelixKirsch
Copy link
Contributor

@FelixKirsch FelixKirsch commented Oct 20, 2022

@FelixKirsch FelixKirsch self-assigned this Oct 20, 2022
@FelixKirsch FelixKirsch marked this pull request as ready for review October 25, 2022 15:24
@FelixKirsch FelixKirsch merged commit 60eabce into dev Oct 26, 2022
@FelixKirsch FelixKirsch deleted the parent-image branch October 26, 2022 13:50
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Reviewers

1 more reviewer

@JWittmeyer JWittmeyer JWittmeyer approved these changes

Reviewers whose approvals may not affect merge requirements

Assignees

@FelixKirsch FelixKirsch

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

4 participants

@FelixKirsch @JWittmeyer @FelixKirschKern