Skip to content
This repository was archived by the owner on Jun 1, 2023. It is now read-only.

Use prebuilt Docker image #185

Merged
merged 2 commits into from
Sep 25, 2020
Merged

Use prebuilt Docker image #185

merged 2 commits into from
Sep 25, 2020

Conversation

mattt
Copy link
Contributor

@mattt mattt commented Sep 24, 2020 •
edited
Loading

Resolves #111

@mattt mattt force-pushed the prebuilt-docker-image branch 2 times, most recently from b7491a1 to 31b5650 Compare September 24, 2020 22:10
@mattt mattt mentioned this pull request Sep 24, 2020
Closed
MaxDesiatov
MaxDesiatov approved these changes Sep 25, 2020
View reviewed changes
Copy link
Contributor

@MaxDesiatov MaxDesiatov left a comment

Choose a reason for hiding this comment

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

That's awesome! I didn't know about this trick, though I certainly saw docker:// URL scheme used somewhere before...

@mattt mattt merged commit cc2098c into master Sep 25, 2020
@MaxDesiatov MaxDesiatov deleted the prebuilt-docker-image branch September 25, 2020 10:51
This was referenced Sep 25, 2020
Closed
Closed
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers

@MaxDesiatov MaxDesiatov MaxDesiatov 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.

Feature request: publish prebuilt Docker image to Docker Hub to speed up the GitHub Action
2 participants
@mattt @MaxDesiatov