tezos-checker / checker

An in-development "robocoin" system for the Tezos blockchain
24 stars 16 forks source link

The comment bot is out of date #259

Closed gkaracha closed 3 years ago

gkaracha commented 3 years ago

Our comment bot that reports entrypoint size and gas cost differences on open PRs is still invoking nix commands (see .github/workflows/comment.yml) and is thus silently failing, since we switched to docker+earthly. I think we should address this before finishing #213, so that we can evaluate how much do entrypoint sizes and gas costs increase due to generalization.

gkaracha commented 3 years ago

Addressed by #262.