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

workflows: bump toolchains; restrict repository access; fix build/lint warnings #204

Merged
merged 4 commits into from
Aug 2, 2021
Merged

Commits on Jul 28, 2021

  1. workflows: bump toolchains

    bgilbert committed Jul 28, 2021
    Configuration menu
    Copy the full SHA
    14f7b96 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    0cb7deb View commit details
    Browse the repository at this point in the history
  3. Fix build warnings

    bgilbert committed Jul 28, 2021
    Configuration menu
    Copy the full SHA
    c8bf3ef View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    777adf1 View commit details
    Browse the repository at this point in the history