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.

Sign up for GitHub

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

Jump to bottom

Prevent incorrect internal error message #5320

Merged
merged 12 commits into from
Apr 16, 2024
Merged

Prevent incorrect internal error message #5320

merged 12 commits into from
Apr 16, 2024

Commits on Apr 4, 2024

  1. Prevent incorrect internal error while waiting for verification message

    @keyboardDrummer
    keyboardDrummer committed Apr 4, 2024
    Configuration menu
    Copy the full SHA
    ef4797c View commit details
    Browse the repository at this point in the history

  2. Add release note

    @keyboardDrummer
    keyboardDrummer committed Apr 4, 2024
    Configuration menu
    Copy the full SHA
    796c3d1 View commit details
    Browse the repository at this point in the history

  3. Update comment

    @keyboardDrummer
    keyboardDrummer committed Apr 4, 2024
    Configuration menu
    Copy the full SHA
    2a75ac3 View commit details
    Browse the repository at this point in the history

Commits on Apr 15, 2024

  1. Updates

    @keyboardDrummer
    keyboardDrummer committed Apr 15, 2024
    Configuration menu
    Copy the full SHA
    4fc8c14 View commit details
    Browse the repository at this point in the history

  2. Fixes

    @keyboardDrummer
    keyboardDrummer committed Apr 15, 2024
    Configuration menu
    Copy the full SHA
    6443a54 View commit details
    Browse the repository at this point in the history

  3. Add release note

    @keyboardDrummer
    keyboardDrummer committed Apr 15, 2024
    Configuration menu
    Copy the full SHA
    c4eda40 View commit details
    Browse the repository at this point in the history

  4. Remove entire mechanic

    @keyboardDrummer
    keyboardDrummer committed Apr 15, 2024
    Configuration menu
    Copy the full SHA
    4a81e5f View commit details
    Browse the repository at this point in the history

  5. Merge branch 'master' into preventIncorrectInternalErrorMessage

    @keyboardDrummer
    keyboardDrummer authored Apr 15, 2024
    Configuration menu
    Copy the full SHA
    a44e6af View commit details
    Browse the repository at this point in the history

Commits on Apr 16, 2024

  1. Remove unused logger

    @keyboardDrummer
    keyboardDrummer committed Apr 16, 2024
    Configuration menu
    Copy the full SHA
    32ab6cf View commit details
    Browse the repository at this point in the history

  2. Merge branch 'preventIncorrectInternalErrorMessage' of github.com:key… 

    …boardDrummer/dafny into preventIncorrectInternalErrorMessage
    @keyboardDrummer
    keyboardDrummer committed Apr 16, 2024
    Configuration menu
    Copy the full SHA
    4e1827f View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' into preventIncorrectInternalErrorMessage

    @keyboardDrummer
    keyboardDrummer authored Apr 16, 2024
    Configuration menu
    Copy the full SHA
    5d11678 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'master' into preventIncorrectInternalErrorMessage

    @keyboardDrummer
    keyboardDrummer authored Apr 16, 2024
    Configuration menu
    Copy the full SHA
    7ddcda8 View commit details
    Browse the repository at this point in the history