#!/bin/bash
./verify_clean && ./run $1 && ./verify_clean && git push
