Labels

• animation enhancement

  Enhancement of an existing animation
• bug

  Visual or technical incoherence
• CI

  Anything related to Continuous Integration
• infrastructure

  Pipeline features, Python systems, or basically anything meant to streamline work in this project
• new animation

  Proposal for a new animation