Labels

• 2.3.0

  2.3.0

• better-test-generation

  better-test-generation

• bug

  bug

• chore

  chore

• ci-all-solc

  ci-all-solc

  Test a PR with all solc versions

• code quality

  code quality

• dependencies

  dependencies

  Pull requests that update a dependency file

• docker

  docker

• documentation

  documentation

• duplicate

  duplicate

• enhancement

  enhancement

• epic

  epic

• evangelism

  evangelism

• github_actions

  github_actions

  Pull requests that update GitHub Actions code

• good first issue

  good first issue

• help wanted

  help wanted

• hevm

  hevm

  Requires changes in hevm

• high-priority

  high-priority

• integrations

  integrations

• invalid

  invalid

• meeting

  meeting

• memory leak

  memory leak

• needs elaboration

  needs elaboration

• performance

  performance

• platform support

  platform support

• question

  question

• releases

  releases

  echidna releases

• shrinking

  shrinking

• testing

  testing

• TUI

  TUI