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.

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

Add PR approval check for specific directories #31

Merged
merged 12 commits into from
Jul 10, 2024

Commits on Jul 1, 2024

  1. Check for committee among the PR approval

    Add check only for library and challenges folder
    
    python error when checking for approvals
    
    replace with JS
    
    Add script to check for no of approvers
    
    Re-trigger same run, instead of creating new run
    
    Remove pull_request trigger
    
    Add workflow step
    
    Test re-trigger when second approval happens
    
    Optimize
    
    Add committe checking flow
    
    add second account to committee for testing
    
    Add comma
    
    Add try/catch block around the parsing
    
    change toml file name
    
    Change parsing
    
    fix name of toml file
    jaisnan committed Jul 1, 2024
    Configuration menu
    Copy the full SHA
    28742fa View commit details
    Browse the repository at this point in the history
  2. Fix user toml account

    jaisnan committed Jul 1, 2024
    Configuration menu
    Copy the full SHA
    4d31677 View commit details
    Browse the repository at this point in the history
  3. Remove account names

    jaisnan committed Jul 1, 2024
    Configuration menu
    Copy the full SHA
    d7ce67d View commit details
    Browse the repository at this point in the history

Commits on Jul 2, 2024

  1. Update comments

    jaisnan committed Jul 2, 2024
    Configuration menu
    Copy the full SHA
    ecfbc00 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    76a44b6 View commit details
    Browse the repository at this point in the history

Commits on Jul 3, 2024

  1. Configuration menu
    Copy the full SHA
    e8f52bb View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    2c31a51 View commit details
    Browse the repository at this point in the history

Commits on Jul 9, 2024

  1. Merge branch 'main' of https://github.com/model-checking/verify-rust-std

     into pr-approval-workflow
    jaisnan committed Jul 9, 2024
    Configuration menu
    Copy the full SHA
    186d930 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    2b5b0ac View commit details
    Browse the repository at this point in the history
  3. Remove token from script

    jaisnan committed Jul 9, 2024
    Configuration menu
    Copy the full SHA
    f4352a3 View commit details
    Browse the repository at this point in the history
  4. Change comments

    jaisnan committed Jul 9, 2024
    Configuration menu
    Copy the full SHA
    937f74d View commit details
    Browse the repository at this point in the history

Commits on Jul 10, 2024

  1. Configuration menu
    Copy the full SHA
    add26d9 View commit details
    Browse the repository at this point in the history