Remove users without a team from GitHub #360
Workflow file for this run
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: CI | |
| on: [push, pull_request] | |
| jobs: | |
| ci: | |
| name: CI | |
| runs-on: ubuntu-latest | |
| permissions: | |
| id-token: write | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - name: Run rustfmt | |
| run: cargo fmt -- --check | |
| - name: Run clippy | |
| run: cargo clippy -- -Dwarnings | |
| - name: Run tests | |
| run: cargo test | |
| - name: Build the Docker container | |
| run: docker build -t sync-team . | |
| - name: Configure AWS credentials | |
| if: github.event_name == 'push' && github.ref == 'refs/heads/master' | |
| uses: aws-actions/configure-aws-credentials@v1 | |
| with: | |
| role-to-assume: arn:aws:iam::890664054962:role/ci--rust-lang--sync-team | |
| aws-region: us-west-1 | |
| - name: Login to Amazon ECR Private | |
| if: github.event_name == 'push' && github.ref == 'refs/heads/master' | |
| id: login-ecr | |
| uses: aws-actions/amazon-ecr-login@v1 | |
| - name: Build, tag, and push docker image to Amazon ECR | |
| if: github.event_name == 'push' && github.ref == 'refs/heads/master' | |
| env: | |
| REGISTRY: ${{ steps.login-ecr.outputs.registry }} | |
| REPOSITORY: sync-team | |
| run: | | |
| docker tag sync-team $REGISTRY/$REPOSITORY:latest | |
| docker push $REGISTRY/$REPOSITORY:latest | |
| - name: Start the synchronization tool | |
| if: github.event_name == 'push' && github.ref == 'refs/heads/master' | |
| run: | | |
| aws --region us-west-1 lambda invoke --function-name start-sync-team output.json | |
| cat output.json | python3 -m json.tool |