This PR adds a workflow to generate the progress based on exports made in Exports.def files. The script automatically searches for pairs of .def and .txt files and the only work for adding a new progress badge is to add it to the README.
DOCS_REPO_TOKEN is already setup in the repo. Should all work out fine but I'll push a fix if something breaks in the workflow. The python script is tested but it's a lot harder to test a workflow file without running it.
This PR adds a workflow to generate the progress based on exports made in
Exports.deffiles. The script automatically searches for pairs of.defand.txtfiles and the only work for adding a new progress badge is to add it to the README.DOCS_REPO_TOKENis already setup in the repo. Should all work out fine but I'll push a fix if something breaks in the workflow. The python script is tested but it's a lot harder to test a workflow file without running it.