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

v0.5.0#142

Merged
paveloom merged 6 commits intomasterfrom
develop
Apr 23, 2021
Merged

v0.5.0#142
paveloom merged 6 commits intomasterfrom
develop

Conversation

@paveloom
Copy link
Member

No description provided.

Pavel Sobolev added 6 commits April 23, 2021 16:56
* Switch to `bitnami/minideb:buster`;
* Remove many things from the image;
* Move scripts for installing Julia and Rust to `user-scripts`;
* Update the Publish workflow to append a release asset.
@paveloom paveloom added the master This PR merges changes from `develop` to `master` label Apr 23, 2021
@paveloom paveloom added this to the 0.5.0 milestone Apr 23, 2021
@paveloom paveloom self-assigned this Apr 23, 2021
@paveloom paveloom merged commit 6dd9c6c into master Apr 23, 2021
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

master This PR merges changes from `develop` to `master`

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant