maio/guard-prove — pull request #1 by Dominik-Sauer (2014-01-17 13:26:15+00:00)
Title: Replace run_on_changes with run_on_modifications

so that the action gets run only once.