search

diatomsRcool / checklists

MIT License
1 stars 0 forks source link

updating checklists #3

Closed diatomsRcool closed 6 years ago

diatomsRcool commented 6 years ago

I added two new wkt strings to the file this morning and Jenkins ran twice, but stopped. Isn't it supposed to keep going?

jhpoelen commented 6 years ago

Previously, the status update script ran every 10 mins. Currently, the status update and checklist download script runs each time a change is detected in the github repository. If you'd like to poke around and configure this to suit your needs, or trigger the job manually, I'd suggest to have a look as the jenkins job and associated script checklist_script_gen.sh.

Also, as far as I can tell, one wkt string was added with id 1279685 , which was calculated a couple of days ago.