Labels

• API

  API

  api (symbolics, types, ...)

• arch

  arch

  jitting, archinfo, ...

• benchmarking

  benchmarking

• bug-C

  bug-C

  bug in the generated code

• bug-C-minor

  bug-C-minor

  bug in the generated code not affecting correctness

• bug-performance-C

  bug-performance-C

• bug-performance-gpu

  bug-performance-gpu

• bug-performance-py

  bug-performance-py

• bug-py

  bug-py

• bug-py-minor

  bug-py-minor

• checkpointing

  checkpointing

• CI

  CI

  continuous integration

• codex

  codex

• compiler

  compiler

• dependencies

  dependencies

  Pull requests that update a dependency file

• documentation

  documentation

• examples

  examples

  examples

• feature-request

  feature-request

• github_actions

  github_actions

  Pull requests that update GitHub Actions code

• GPU

  GPU

• installation

  installation

• invalid

  invalid

  This doesn't seem right

• misc

  misc

• MPI

  MPI

  mpi-related

• no-pro-trigger

  no-pro-trigger

  Skip the devitopro submodule update on merge

• performance

  performance

• python

  python

  Pull requests that update python code

• testing

  testing

• WIP

  WIP

  Still work in progress