Skip to content
This repository has been archived by the owner on Jul 9, 2024. It is now read-only.

Drop Docker builds in CI #150

Merged
merged 1 commit into from
Jun 23, 2022
Merged

Drop Docker builds in CI #150

merged 1 commit into from
Jun 23, 2022

Conversation

amarthadan
Copy link
Contributor

As agreed in #144

@amarthadan amarthadan requested a review from aquarat June 20, 2022 12:59
@amarthadan amarthadan self-assigned this Jun 20, 2022
Siegrift
Siegrift approved these changes Jun 23, 2022
View reviewed changes
Copy link
Contributor

@Siegrift Siegrift left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM, @aquarat can you also double check? I'd like to merge this since all CI checks fail at the moment.

aquarat
aquarat approved these changes Jun 23, 2022
View reviewed changes
Copy link
Contributor

@aquarat aquarat left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM too, thanks @amarthadan 😄

@Siegrift Siegrift merged commit 6f5e90b into main Jun 23, 2022
@Siegrift Siegrift deleted the drop-docker-builds branch June 23, 2022 13:52
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers

@aquarat aquarat aquarat approved these changes

@Siegrift Siegrift Siegrift approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@amarthadan @aquarat @Siegrift