Skip to content

Added constructions summary#255

Merged
dours merged 3 commits into
masterfrom
checker
May 29, 2022
Merged

Added constructions summary#255
dours merged 3 commits into
masterfrom
checker

Conversation

@bugdea1er
Copy link
Copy Markdown
Member

Closes #247

@dours dours merged commit 2b82c99 into master May 29, 2022
@bugdea1er
Copy link
Copy Markdown
Member Author

@rultor , release tag is 0.0.11

@rultor
Copy link
Copy Markdown
Contributor

rultor commented May 29, 2022

@rultor , release tag is 0.0.11

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

@rultor
Copy link
Copy Markdown
Contributor

rultor commented May 29, 2022

@rultor , release tag is 0.0.11

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

Provide summary for language constructions in checker

3 participants