HERA-Team / hera-validation

Archive of formal software pipeline validation tests
http://hera.pbworks.com/w/page/130621356/Validation
0 stars 3 forks source link

System description #48

Closed steven-murray closed 3 years ago

steven-murray commented 4 years ago

This attempts to add a Github Action that re-creates the project table for every issue and PR edit/create/delete.

It creates the new project table in the project-table branch, and commits to that branch (so pointing to that branch's version of project_table.md will always be up to date). I'm not sure if that's going to be too slow, or have too many commits. Not sure if that's a problem.

One way around it would be to, instead of re-building on every push/PR/issue, have a button on the readme which anyone can push to rebuild the table. It would even be nicer if, once the action is run, pushing the button also took you to the document to view. But I'm not sure that's possible. Ooooh, actually the best way would be to have the button on the project table itself....