search

dbpedia / databus

A digital factory platform for managing files online with stable IDs, high-quality metadata, powerful API and tools for building on data: find, access, make interoperable, re-use
Apache License 2.0
36 stars 16 forks source link

added a github ci to check on pull & push req #160

Closed mrayushmehrotra closed 5 months ago

manonthegithub commented 5 months ago

Every PR should be linked to an issue. The main idea is that we first create an issue and discuss it if it is needed to implement something and how, and then a PR should address issue correspondingly.

What is the point of this PR?

mrayushmehrotra commented 5 months ago

This pull request (PR) will automatically check all the dependencies and errors in the code, providing the PR user with information about any errors encountered. This makes it easy to differentiate and address issues in any pull requests for maintainers and contributors. (yes, we have to add more deps in the yaml file in future)

manonthegithub commented 5 months ago

I am not sure about it atm... this needs good thought of how to organise CI and automatic building process, the linting may not be enough... I didn't yet take a look at it of how to properly do it in Github. Generally CI is not really a thing that seems good for contributors, it is more decided within the team. I would recommend you to focus on the issues we have or you can propose some features and contribute them

mrayushmehrotra commented 5 months ago

Okay, i thought it would be a valuable contribution, and yes your team can change this CI workflow anytime,this was just a starter kind of file, it will be increased gradually.