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

Create json meta #1218

Merged

Ralim merged 5 commits into master from create-json-meta

Feb 8, 2022

Owner

Ralim commented Feb 7, 2022

Please check if the PR fulfills these requirements

The changes have been tested locally
There are no breaking changes

What kind of change does this PR introduce?

Closes #1217 by generating an index for each file and attaching to the release

What is the new behavior (if this is a feature change)?

CI will build an index file with the same name for tools to use.

Other information:

Ralim added 5 commits

February 7, 2022 21:22


          First pass of metadata generator

91c9c73


          Draft ci

5e777a9


          Update metadata.py

8c5c166


          Update push.yml

ee0eeec


          Update metadata.py

d8e0d86

Ralim merged commit 8110898 into master

Ralim deleted the create-json-meta branch

February 8, 2022 01:55

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

Labels

None yet