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

Automatically creates PR when no_atomic_cas.rs needs to be updated #2562

Merged
merged 3 commits into from Feb 6, 2022
Merged

Automatically creates PR when no_atomic_cas.rs needs to be updated #2562

merged 3 commits into from Feb 6, 2022

Commits on Feb 6, 2022

  1. Clean up ci/no_atomic_cas.sh

    @taiki-e
    taiki-e committed Feb 6, 2022
    Configuration menu
    Copy the full SHA
    9eef09d View commit details
    Browse the repository at this point in the history

  2. Update comments in build scripts

    @taiki-e
    taiki-e committed Feb 6, 2022
    Configuration menu
    Copy the full SHA
    377c2f3 View commit details
    Browse the repository at this point in the history

  3. Automatically creates PR when no_atomic_cas.rs needs to be updated

    @taiki-e
    taiki-e committed Feb 6, 2022
    Configuration menu
    Copy the full SHA
    2abcb30 View commit details
    Browse the repository at this point in the history