Automatically build a dump of SMT output from recently changed files

rems-project / cn-tutorial

7 stars 8 forks source link

Automatically build a dump of SMT output from recently changed files #47

Closed septract closed 2 weeks ago

septract commented 1 month ago

We want to generate regular SMT data dumps from CN to support the Stanford team. This PR adds a script that dumps SMT output from recently changed files, and wraps it in a zip / tar.gz file.

The script uses git log to figure out what files have changed in the last month.

septract commented 2 weeks ago

Ready to merge. This script doesn't set up any automation around SMT dumps, so I'll have to make a calendar reminder to do it.