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

Fix lint issues that cause GitHub actions to fail #114

Merged
merged 6 commits into from
Mar 9, 2024
Merged

Commits on Mar 8, 2024

  1. Configuration menu
    Copy the full SHA
    1babf3b View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    ec7ebba View commit details
    Browse the repository at this point in the history
  3. test(fhsbug): disable TestFHSBug temporarily

    There is a bug that prevents our code from triggering the FHS bug.
    Therefore we currently skip the test until we have fixed the issue
    and can reinstate this test; e.g., by reverting this commit.
    meling committed Mar 8, 2024
    Configuration menu
    Copy the full SHA
    2a93fee View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    92a91c9 View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    dd707a8 View commit details
    Browse the repository at this point in the history

Commits on Mar 9, 2024

  1. chore: minor code style fix

    meling committed Mar 9, 2024
    Configuration menu
    Copy the full SHA
    4f9471f View commit details
    Browse the repository at this point in the history