Labels

• AST

  AST

• Benchmarks

  Benchmarks

• Blueprint

  Blueprint

• bug

  bug

• Build

  Build

• Builtins

  Builtins

• cant-reproduce

  cant-reproduce

  It was not possible to recreate the problem by using the description in the issue

• Certifier

  Certifier

• Constitution

  Constitution

• Costing

  Costing

  Anything relating to costs, fees, gas, etc.

• Crypto

  Crypto

• dependencies

  dependencies

  Pull requests that update a dependency file

• Do not merge

  Do not merge

• Documentation

  Documentation

• Don't look here yet

  Don't look here yet

• Errors

  Errors

• Evaluation

  Evaluation

• EXPERIMENT

  EXPERIMENT

  Experiments that we probably don't want to merge

• Generators

  Generators

• GHC

  GHC

  Things that need work in GHC

• github_actions

  github_actions

  Pull requests that update GitHub Actions code

• Good first issue

  Good first issue

• Internal

  Internal

• javascript

  javascript

  Pull requests that update Javascript code

• Ledger

  Ledger

• Low priority

  Low priority

  Doesn't require immediate attention

• Metatheory

  Metatheory

• Name handling

  Name handling

• needs backport

  needs backport

• No Changelog Required

  No Changelog Required

  Add this to skip the Changelog Check