Merge pull request #956 from jorik-utwente/add-miscellaneous-persiste… #621
sync.yml
on: push
update_num_rules
6s
sync_submodule_capa
10s