CI: Write gas performance on push #45
Description
Currently the CI fails if the gas snapshots are pushed with the wrong values.
Instead, the CI should compute the gas snapshots and add them to PRs if they are not correct.
{{ message }}
Currently the CI fails if the gas snapshots are pushed with the wrong values.
Instead, the CI should compute the gas snapshots and add them to PRs if they are not correct.