Skip to content
This repository has been archived by the owner on Nov 15, 2023. It is now read-only.

CI: run disputes tests #3962

Merged
6 commits merged into from
Sep 29, 2021
Merged

CI: run disputes tests #3962

6 commits merged into from
Sep 29, 2021

Commits on Sep 29, 2021

  1. CI: run disputes tests

    @ordian
    ordian committed Sep 29, 2021
    Configuration menu
    Copy the full SHA
    c741b2b View commit details
    Browse the repository at this point in the history

  2. Revert "minor chore changes (#3944)" 

    This reverts commit 1d05f77.
    @ordian
    ordian committed Sep 29, 2021
    Configuration menu
    Copy the full SHA
    02a1ecf View commit details
    Browse the repository at this point in the history

  3. fix em

    @ordian
    ordian committed Sep 29, 2021
    Configuration menu
    Copy the full SHA
    d99a96d View commit details
    Browse the repository at this point in the history

  4. Revert "Revert "minor chore changes (#3944)"" 

    This reverts commit 02a1ecf.
    @ordian
    ordian committed Sep 29, 2021
    Configuration menu
    Copy the full SHA
    edf995b View commit details
    Browse the repository at this point in the history

  5. Update handle_import_statement function

    @Lldenaurois @ordian
    Lldenaurois authored and ordian committed Sep 29, 2021
    Configuration menu
    Copy the full SHA
    51ef8c0 View commit details
    Browse the repository at this point in the history

  6. fmt

    @ordian
    ordian committed Sep 29, 2021
    Configuration menu
    Copy the full SHA
    dd6f22b View commit details
    Browse the repository at this point in the history