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

RFC: Global Conditions #2516

Merged
merged 9 commits into from
Jun 27, 2023
Merged

RFC: Global Conditions #2516

merged 9 commits into from
Jun 27, 2023

Commits on Jun 27, 2023

  1. RFC: Global conditions

    @adpaco-aws
    adpaco-aws committed Jun 27, 2023
    Configuration menu
    Copy the full SHA
    48cc417 View commit details
    Browse the repository at this point in the history

  2. Address some comments

    @adpaco-aws
    adpaco-aws committed Jun 27, 2023
    Configuration menu
    Copy the full SHA
    8c2f50d View commit details
    Browse the repository at this point in the history

  3. Address Kareem's comments

    @adpaco-aws
    adpaco-aws committed Jun 27, 2023
    Configuration menu
    Copy the full SHA
    368c329 View commit details
    Browse the repository at this point in the history

  4. Remove comment about kani-driver code.

    @adpaco-aws
    adpaco-aws committed Jun 27, 2023
    Configuration menu
    Copy the full SHA
    1ef6683 View commit details
    Browse the repository at this point in the history

  5. Update with link to proof of concept

    @adpaco-aws
    adpaco-aws committed Jun 27, 2023
    Configuration menu
    Copy the full SHA
    e401bba View commit details
    Browse the repository at this point in the history

  6. Update with content on failed checks

    @adpaco-aws
    adpaco-aws committed Jun 27, 2023
    Configuration menu
    Copy the full SHA
    3935af4 View commit details
    Browse the repository at this point in the history

  7. Add clarification on enabling global conditions

    @adpaco-aws
    adpaco-aws committed Jun 27, 2023
    Configuration menu
    Copy the full SHA
    52d6e8d View commit details
    Browse the repository at this point in the history

  8. Add separator

    @adpaco-aws
    adpaco-aws committed Jun 27, 2023
    Configuration menu
    Copy the full SHA
    b8e61ee View commit details
    Browse the repository at this point in the history

  9. Edit status before merge

    @adpaco-aws
    adpaco-aws committed Jun 27, 2023
    Configuration menu
    Copy the full SHA
    1524e53 View commit details
    Browse the repository at this point in the history