When a new resource is added, the schema.json file in the credential-profile folder needs to be updated. Otherwise the validation checks will fail.
We need to evaluate what the best way is to update the file:
run the script before each commit
generate a job in the github action that will trigger a new pull request
It should be easier to force the first option since we need to stop the current pull request because another pull request has to be placed first.
In case a user submits a new credential format with a profile he will be notified since the evaluation failed.
When a new resource is added, the
schema.json
file in the credential-profile folder needs to be updated. Otherwise the validation checks will fail.We need to evaluate what the best way is to update the file:
It should be easier to force the first option since we need to stop the current pull request because another pull request has to be placed first. In case a user submits a new credential format with a profile he will be notified since the evaluation failed.