All pull requests

Pull requests

• Add push-button GitHub Action to publish mkdocs site via mike

  #1415·xpqz opened Sep 9, 2026Contributor·

  ·
  1

• Deal with : being shown as an error when parsing APLAN

  #1410·cursork opened Sep 8, 2026Contributor·

  ·

• Bump ws from 8.13.0 to 8.17.1

  dependencies
  #1235·dependabot[bot] opened Jun 17, 2024Bot·

  ·

• Adds a GitHub workflow to generate zip files only of the Windows distribution

  #952·lstefano71 opened May 17, 2023·

  ·
  1

  1