Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

feature: Add check whether instrument name is valid identifier #4178

Merged

Commits on May 17, 2022

  1. Configuration menu
    Copy the full SHA
    60b7c86 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    69236fb View commit details
    Browse the repository at this point in the history

Commits on May 19, 2022

  1. Configuration menu
    Copy the full SHA
    c5a6ef4 View commit details
    Browse the repository at this point in the history
  2. linting fix

    maximilianluc committed May 19, 2022
    Configuration menu
    Copy the full SHA
    e7fe869 View commit details
    Browse the repository at this point in the history

Commits on May 20, 2022

  1. Configuration menu
    Copy the full SHA
    41d08a1 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    8af4148 View commit details
    Browse the repository at this point in the history

Commits on Jun 3, 2022

  1. Configuration menu
    Copy the full SHA
    925d937 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    b256032 View commit details
    Browse the repository at this point in the history

Commits on Jun 7, 2022

  1. Configuration menu
    Copy the full SHA
    6dba5b4 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    546c80f View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    d87ad99 View commit details
    Browse the repository at this point in the history

Commits on Jun 8, 2022

  1. Remove tinker.w

    tinker.w unused
    maximilianluc authored Jun 8, 2022
    Configuration menu
    Copy the full SHA
    a1ab755 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    4433d01 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    8f569f9 View commit details
    Browse the repository at this point in the history