Skip to content

Update JSON assets#131

Open
AdrianDsg wants to merge 4 commits intohangxingliu:mainfrom
AdrianDsg:main
Open

Update JSON assets#131
AdrianDsg wants to merge 4 commits intohangxingliu:mainfrom
AdrianDsg:main

Conversation

@AdrianDsg
Copy link
Contributor

Hi @hangxingliu,
Hope your doing good.
I just updated the JSON files in assets/ using the GitHub Actions workflow.

Regards,
Adrian

@hangxingliu
Copy link
Owner

Oh, Thanks for your help. I will merge and release as soon as possible.

Copy link
Owner

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This file seems to be broken, the CI is also failed by this file

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I'll look into this next week

@AdrianDsg
Copy link
Contributor Author

Just a quick update: Unfortunately I wasn't able to find the bug in the JSON file so far.

@hangxingliu
Copy link
Owner

Just a quick update: Unfortunately I wasn't able to find the bug in the JSON file so far.

@AdrianDsg
I guess that the broken json is caused by the network problem. The file is closed unexpectedly. Could you take a look on the output of the downloader scripts for these changes or send them to here.
I can take a look on it this weekend.

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.

2 participants