Skip to content

Fix build in release#92

Merged
dours merged 1 commit into
polystat:masterfrom
PetrB09:master
Jan 24, 2022
Merged

Fix build in release#92
dours merged 1 commit into
polystat:masterfrom
PetrB09:master

Conversation

@PetrB09
Copy link
Copy Markdown
Member

@PetrB09 PetrB09 commented Jan 24, 2022

Removed old stylechecker

Removed old stylechecker
@dours dours merged commit 9dba45e into polystat:master Jan 24, 2022
@dours
Copy link
Copy Markdown
Collaborator

dours commented Jan 24, 2022

@rultor , release tag is 0.0.3

@rultor
Copy link
Copy Markdown
Contributor

rultor commented Jan 24, 2022

@rultor , release tag is 0.0.3

@dours OK, I will release it now. Please check the progress here

@rultor
Copy link
Copy Markdown
Contributor

rultor commented Jan 24, 2022

@rultor , release tag is 0.0.3

@dours Done! FYI, the full log is here (took me 9min)

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

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants