Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Fix django and todo #389

Merged
merged 18 commits into from
Oct 5, 2022
Merged

Fix django and todo #389

merged 18 commits into from
Oct 5, 2022

Conversation

dours
Copy link
Collaborator

@dours dours commented Oct 2, 2022

No description provided.

@dours
another attempt to fix the django test
142ea52
@dours
fix the todo format for PDD bot to use
c3b2553
@dours
rm commented code
38160f3
@dours
assertTrue, cause if the syntax is wrong then the test must fail
4c80d81
@dours
rm printers in tests
5f03d9a
@dours
assertTrue: fail test in a more correct way
ddb70e0
@dours
fix EO syntax problems for unsupported code in Django
110a95e
@dours
completely redo addition of x-prefixes for the unsupported constructions
d5ae05d
@dours
add a sample non-unit test for the parser
a106b01
@dours
support the ''' string literals to fix another django problem
b424c99
@dours
support the annotated-3.yaml test
1de4f85
@dours
fix style
296889b
@dours
the second argument for the xmyArray cons must be added everywhere
22626f7
@dours
fix an obvious bug
4fb3a62
@dours
compensate for the previous bug fix in order to pass the nested_while…
8ee2109 
…_break1 test
@dours
another attempt at django fix
17a2c23
@dours
Merge branch 'master' into fixDjangoAndTodo
b3c0561 
# Conflicts:
#	parser/pom.xml
@dours
add dependencies again, now with the correct formatting
26cbb58
@dours dours merged commit 8b870e8 into master Oct 5, 2022
@dours
Copy link
Collaborator Author

dours commented Oct 5, 2022

@rultor, release, tag is 0.30.0

@rultor
Copy link
Contributor

rultor commented Oct 5, 2022

@rultor, release, tag is 0.30.0

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

@rultor
Copy link
Contributor

rultor commented Oct 5, 2022

@rultor, release, tag is 0.30.0

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

@dours dours mentioned this pull request Oct 6, 2022
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
3 participants
@dours @rultor @0pdd