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

Improve tooling #11

Merged
merged 4 commits into from
Nov 2, 2021
Merged

Improve tooling #11

merged 4 commits into from
Nov 2, 2021

Commits on Nov 2, 2021

  1. GitHub CI: Update config

    meisenzahl committed Nov 2, 2021
    Configuration menu
    Copy the full SHA
    d0f5f91 View commit details
    Browse the repository at this point in the history
  2. Update .gitignore

    meisenzahl committed Nov 2, 2021
    Configuration menu
    Copy the full SHA
    b17c626 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    b6f050c View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    2c71afd View commit details
    Browse the repository at this point in the history