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

add concurrency tests with Coyote to CI #4879

Merged
merged 46 commits into from
Nov 17, 2023
Merged

add concurrency tests with Coyote to CI #4879

merged 46 commits into from
Nov 17, 2023

Commits on Sep 22, 2023

  1. skeleton

    @Yun-Ting
    Yun-Ting committed Sep 22, 2023
    Configuration menu
    Copy the full SHA
    3d25657 View commit details
    Browse the repository at this point in the history

Commits on Sep 27, 2023

  1. test

    @Yun-Ting
    Yun-Ting committed Sep 27, 2023
    Configuration menu
    Copy the full SHA
    b776160 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' into yunl/addCoyoteCI_3

    @Yun-Ting
    Yun-Ting committed Sep 27, 2023
    Configuration menu
    Copy the full SHA
    9d2982a View commit details
    Browse the repository at this point in the history

  3. update

    @Yun-Ting
    Yun-Ting committed Sep 27, 2023
    Configuration menu
    Copy the full SHA
    a7ff1ac View commit details
    Browse the repository at this point in the history

  4. split tests and cleanup

    @Yun-Ting
    Yun-Ting committed Sep 27, 2023
    Configuration menu
    Copy the full SHA
    0a95eb7 View commit details
    Browse the repository at this point in the history

  5. yikes

    @Yun-Ting
    Yun-Ting committed Sep 27, 2023
    Configuration menu
    Copy the full SHA
    22eb5dd View commit details
    Browse the repository at this point in the history

Commits on Sep 28, 2023

  1. Merge branch 'main' into yunl/addCoyoteCI_3

    @Yun-Ting
    Yun-Ting committed Sep 28, 2023
    Configuration menu
    Copy the full SHA
    b9b4db7 View commit details
    Browse the repository at this point in the history

  2. space

    @Yun-Ting
    Yun-Ting committed Sep 28, 2023
    Configuration menu
    Copy the full SHA
    1da2417 View commit details
    Browse the repository at this point in the history

Commits on Oct 5, 2023

  1. Merge branch 'main' into yunl/addCoyoteCI_3

    @Yun-Ting
    Yun-Ting authored Oct 5, 2023
    Configuration menu
    Copy the full SHA
    a18602b View commit details
    Browse the repository at this point in the history

  2. cleanups and net8

    @Yun-Ting
    Yun-Ting committed Oct 5, 2023
    Configuration menu
    Copy the full SHA
    5b96500 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'main' into yunl/addCoyoteCI_3

    @Yun-Ting
    Yun-Ting committed Oct 5, 2023
    Configuration menu
    Copy the full SHA
    c2f8650 View commit details
    Browse the repository at this point in the history

  4. comment

    @Yun-Ting
    Yun-Ting committed Oct 5, 2023
    Configuration menu
    Copy the full SHA
    cc152e7 View commit details
    Browse the repository at this point in the history

  5. Merge branch 'yunl/addCoyoteCI_3' of https://github.com/Yun-Ting/open… 

    …telemetry-dotnet into yunl/addCoyoteCI_3
    @Yun-Ting
    Yun-Ting committed Oct 5, 2023
    Configuration menu
    Copy the full SHA
    7ce1dc4 View commit details
    Browse the repository at this point in the history

Commits on Oct 6, 2023

  1. test

    @Yun-Ting
    Yun-Ting committed Oct 6, 2023
    Configuration menu
    Copy the full SHA
    2bea31c View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' into yunl/addCoyoteCI_3

    @Yun-Ting
    Yun-Ting committed Oct 6, 2023
    Configuration menu
    Copy the full SHA
    3a69758 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'main' into yunl/addCoyoteCI_3

    @Yun-Ting
    Yun-Ting committed Oct 6, 2023
    Configuration menu
    Copy the full SHA
    30e582f View commit details
    Browse the repository at this point in the history

  4. use 7 for now

    @Yun-Ting
    Yun-Ting committed Oct 6, 2023
    Configuration menu
    Copy the full SHA
    67d51d0 View commit details
    Browse the repository at this point in the history

  5. cleanups

    @Yun-Ting
    Yun-Ting committed Oct 6, 2023
    Configuration menu
    Copy the full SHA
    f11877e View commit details
    Browse the repository at this point in the history

  6. update shell

    @Yun-Ting
    Yun-Ting committed Oct 6, 2023
    Configuration menu
    Copy the full SHA
    c48df7f View commit details
    Browse the repository at this point in the history

  7. cleanups

    @Yun-Ting
    Yun-Ting committed Oct 6, 2023
    Configuration menu
    Copy the full SHA
    f47ed19 View commit details
    Browse the repository at this point in the history

  8. ,

    @Yun-Ting
    Yun-Ting committed Oct 6, 2023
    Configuration menu
    Copy the full SHA
    fe21daf View commit details
    Browse the repository at this point in the history

Commits on Oct 20, 2023

  1. Merge from main.

    @CodeBlanch
    CodeBlanch committed Oct 20, 2023
    Configuration menu
    Copy the full SHA
    e979325 View commit details
    Browse the repository at this point in the history

  2. Added TracerConcurrencyTest.

    @CodeBlanch
    CodeBlanch committed Oct 20, 2023
    Configuration menu
    Copy the full SHA
    76ce40f View commit details
    Browse the repository at this point in the history

  3. Merge branch 'main' into yunl/addCoyoteCI_3

    @CodeBlanch
    CodeBlanch authored Oct 20, 2023
    Configuration menu
    Copy the full SHA
    24f13bf View commit details
    Browse the repository at this point in the history

  4. Tweaks.

    @CodeBlanch
    CodeBlanch committed Oct 20, 2023
    Configuration menu
    Copy the full SHA
    2d7777d View commit details
    Browse the repository at this point in the history

  5. Tweak.

    @CodeBlanch
    CodeBlanch committed Oct 20, 2023
    Configuration menu
    Copy the full SHA
    cfa87fc View commit details
    Browse the repository at this point in the history

  6. Tweak.

    @CodeBlanch
    CodeBlanch committed Oct 20, 2023
    Configuration menu
    Copy the full SHA
    cbce63d View commit details
    Browse the repository at this point in the history

  7. Tweak.

    @CodeBlanch
    CodeBlanch committed Oct 20, 2023
    Configuration menu
    Copy the full SHA
    e203f2f View commit details
    Browse the repository at this point in the history

  8. Introduce race condition.

    @CodeBlanch
    CodeBlanch committed Oct 20, 2023
    Configuration menu
    Copy the full SHA
    06d10de View commit details
    Browse the repository at this point in the history

  9. Tweaks.

    @CodeBlanch
    CodeBlanch committed Oct 20, 2023
    Configuration menu
    Copy the full SHA
    bff40bc View commit details
    Browse the repository at this point in the history

  10. Tweak.

    @CodeBlanch
    CodeBlanch committed Oct 20, 2023
    Configuration menu
    Copy the full SHA
    e25754c View commit details
    Browse the repository at this point in the history

  11. Revert race condition.

    @CodeBlanch
    CodeBlanch committed Oct 20, 2023
    Configuration menu
    Copy the full SHA
    15021b4 View commit details
    Browse the repository at this point in the history

Commits on Oct 31, 2023

  1. Merge branch 'main' into yunl/addCoyoteCI_3

    @Yun-Ting
    Yun-Ting committed Oct 31, 2023
    Configuration menu
    Copy the full SHA
    3309c8e View commit details
    Browse the repository at this point in the history

  2. md workflow

    @Yun-Ting
    Yun-Ting committed Oct 31, 2023
    Configuration menu
    Copy the full SHA
    80f2fc9 View commit details
    Browse the repository at this point in the history

  3. composition

    @Yun-Ting
    Yun-Ting committed Oct 31, 2023
    Configuration menu
    Copy the full SHA
    57d1b95 View commit details
    Browse the repository at this point in the history

  4. sanity and sln

    @Yun-Ting
    Yun-Ting committed Oct 31, 2023
    Configuration menu
    Copy the full SHA
    dfc8f80 View commit details
    Browse the repository at this point in the history

  5. fix

    @Yun-Ting
    Yun-Ting committed Oct 31, 2023
    Configuration menu
    Copy the full SHA
    1601fa2 View commit details
    Browse the repository at this point in the history

  6. comment

    @Yun-Ting
    Yun-Ting committed Oct 31, 2023
    Configuration menu
    Copy the full SHA
    f24b08e View commit details
    Browse the repository at this point in the history

Commits on Nov 1, 2023

  1. Merge branch 'main' into yunl/addCoyoteCI_3

    @Yun-Ting
    Yun-Ting authored Nov 1, 2023
    Configuration menu
    Copy the full SHA
    ace5edf View commit details
    Browse the repository at this point in the history

Commits on Nov 15, 2023

  1. merge main

    @Yun-Ting
    Yun-Ting committed Nov 15, 2023
    Configuration menu
    Copy the full SHA
    b1015ce View commit details
    Browse the repository at this point in the history

Commits on Nov 16, 2023

  1. fixed error NU1605: OpenTelemetry.Tests -> Microsoft.Coyote 1.7.10 ->… 

    … Microsoft.Coyote.Test 1.7.10 -> System.Text.Json (>= 7.0.1)
    @Yun-Ting
    Yun-Ting committed Nov 16, 2023
    Configuration menu
    Copy the full SHA
    f7afd78 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' into yunl/addCoyoteCI_3

    @Yun-Ting
    Yun-Ting authored Nov 16, 2023
    Configuration menu
    Copy the full SHA
    9d98916 View commit details
    Browse the repository at this point in the history

Commits on Nov 17, 2023

  1. Merge branch 'main' into yunl/addCoyoteCI_3

    @Yun-Ting
    Yun-Ting authored Nov 17, 2023
    Configuration menu
    Copy the full SHA
    af6e0fe View commit details
    Browse the repository at this point in the history

  2. comment

    @Yun-Ting
    Yun-Ting committed Nov 17, 2023
    Configuration menu
    Copy the full SHA
    0388f74 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'yunl/addCoyoteCI_3' of https://github.com/Yun-Ting/open… 

    …telemetry-dotnet into yunl/addCoyoteCI_3
    @Yun-Ting
    Yun-Ting committed Nov 17, 2023
    Configuration menu
    Copy the full SHA
    7dca448 View commit details
    Browse the repository at this point in the history

  4. ci

    @Yun-Ting
    Yun-Ting committed Nov 17, 2023
    Configuration menu
    Copy the full SHA
    583b7d6 View commit details
    Browse the repository at this point in the history