-
Juan C authored
* Stop tracking changes in log folder * Sync Conainer to host function * Move to make-summary for specific file sync * Copy before forge formatting on host * Update packages/contracts-bedrock/test/kontrol/scripts/make-summary-deployment.sh Provide full path to files needing formatting Co-authored-by:
Juan C. <38925412+JuanCoRo@users.noreply.github.com> * Update make-summary-deployment.sh * remove nested `utils` folder * Update deploy snapshot and summary contracts * make-summary-deployment.sh: only use `$SUMMARY_DIR` for `docker cp` * .gitignore: revert `logs` folder unnecessary change --------- Co-authored-by:
F-WRunTime <freeman.wenzl@runtimeverification.com> Co-authored-by:
Freeman <105403280+F-WRunTime@users.noreply.github.com>
3c68a62e