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

Add unused errors check to CI #91

Merged
merged 7 commits into from
Jul 26, 2024
Merged

Add unused errors check to CI #91

merged 7 commits into from
Jul 26, 2024

Commits on Jul 23, 2024

  1. Configuration menu
    Copy the full SHA
    130a75d View commit details
    Browse the repository at this point in the history
  2. Add check to CI

    gvladika committed Jul 23, 2024
    Configuration menu
    Copy the full SHA
    712f970 View commit details
    Browse the repository at this point in the history

Commits on Jul 24, 2024

  1. Configuration menu
    Copy the full SHA
    3633405 View commit details
    Browse the repository at this point in the history
  2. Test CI

    gvladika committed Jul 24, 2024
    Configuration menu
    Copy the full SHA
    c6a94af View commit details
    Browse the repository at this point in the history
  3. Remove test

    gvladika committed Jul 24, 2024
    Configuration menu
    Copy the full SHA
    a9d61ad View commit details
    Browse the repository at this point in the history
  4. Merge pull request #92 from OffchainLabs/use-action

    Use gh action to check for errors
    gvladika authored Jul 24, 2024
    Configuration menu
    Copy the full SHA
    d1421d8 View commit details
    Browse the repository at this point in the history

Commits on Jul 26, 2024

  1. Use main

    gvladika committed Jul 26, 2024
    Configuration menu
    Copy the full SHA
    8e4e4ae View commit details
    Browse the repository at this point in the history