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

Get rid of weak typed atoms in the repository #71

Closed
maxonfjvipon opened this issue Jul 12, 2023 · 6 comments · Fixed by #72
Closed

Get rid of weak typed atoms in the repository #71

maxonfjvipon opened this issue Jul 12, 2023 · 6 comments · Fixed by #72

Comments

@maxonfjvipon
Copy link
Member

In order to prohibit using weak typed atoms (/?, see objectionary/eo#1305) outside of org.eolang package we need to get rid of the weak typed atoms here

maxonfjvipon added a commit to maxonfjvipon/eo-sys that referenced this issue Jul 12, 2023
maxonfjvipon added a commit to maxonfjvipon/eo-sys that referenced this issue Jul 12, 2023
maxonfjvipon added a commit to maxonfjvipon/eo-sys that referenced this issue Jul 12, 2023
maxonfjvipon added a commit to maxonfjvipon/eo-sys that referenced this issue Jul 12, 2023
maxonfjvipon added a commit to maxonfjvipon/eo-sys that referenced this issue Jul 12, 2023
maxonfjvipon added a commit to maxonfjvipon/eo-sys that referenced this issue Jul 12, 2023
maxonfjvipon added a commit to maxonfjvipon/eo-sys that referenced this issue Jul 12, 2023
maxonfjvipon added a commit to maxonfjvipon/eo-sys that referenced this issue Jul 12, 2023
maxonfjvipon added a commit to maxonfjvipon/eo-sys that referenced this issue Jul 12, 2023
maxonfjvipon added a commit to maxonfjvipon/eo-sys that referenced this issue Jul 12, 2023
maxonfjvipon added a commit to maxonfjvipon/eo-sys that referenced this issue Jul 12, 2023
maxonfjvipon added a commit to maxonfjvipon/eo-sys that referenced this issue Jul 12, 2023
maxonfjvipon added a commit to maxonfjvipon/eo-sys that referenced this issue Jul 12, 2023
@0pdd
Copy link

0pdd commented Jul 13, 2023

@maxonfjvipon the puzzle #73 is still not solved.

@maxonfjvipon
Copy link
Member Author

@yegor256 please release with tag 0.0.11

@yegor256
Copy link
Member

@rultor release, tag is 0.0.11

@rultor
Copy link
Contributor

rultor commented Jul 14, 2023

@rultor release, tag is 0.0.11

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

@rultor
Copy link
Contributor

rultor commented Jul 14, 2023

@rultor release, tag is 0.0.11

@yegor256 Done! FYI, the full log is here (took me 7min)

@yegor256
Copy link
Member

@maxonfjvipon done

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging a pull request may close this issue.

4 participants