Polish breadcrumbs and header: better spacing, softer separators, mob… #245
This file contains hidden or 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: Deploy Dev | |
| on: | |
| workflow_dispatch: | |
| push: | |
| paths-ignore: | |
| - '.github/**' | |
| - '.vscode/**' | |
| - 'deploy/**' | |
| - 'terraform/**' | |
| - 'db/**' | |
| - 'notebooks/**' | |
| - '.claude/**' | |
| - '.prod-versions' | |
| - '*.md' | |
| jobs: | |
| test: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Checkout code | |
| uses: actions/checkout@v4 | |
| - name: Set up Python | |
| uses: actions/setup-python@v5 | |
| with: | |
| python-version: '3.13.5' | |
| - name: Install dependencies | |
| run: | | |
| pip install uv | |
| uv sync --locked | |
| - name: Run tests | |
| run: make tests | |
| deploy: | |
| runs-on: ubuntu-latest | |
| needs: test | |
| if: github.ref == 'refs/heads/main' | |
| env: | |
| AWS_REGION: eu-west-1 | |
| REPO_ROOT: 387546586013.dkr.ecr.eu-west-1.amazonaws.com | |
| REPO_URI: 387546586013.dkr.ecr.eu-west-1.amazonaws.com/course-management | |
| steps: | |
| - name: Checkout code | |
| uses: actions/checkout@v4 | |
| - name: Prepare tags and repository info | |
| id: prep | |
| run: | | |
| DATE=$(date +'%Y%m%d-%H%M%S') | |
| SHORT_SHA=$(echo ${{ github.sha }} | cut -c 1-7) | |
| echo "TAG=${DATE}-${SHORT_SHA}" >> $GITHUB_ENV | |
| - name: Set up Python | |
| uses: actions/setup-python@v5 | |
| with: | |
| python-version: '3.13.5' | |
| - name: Build Docker image | |
| run: docker build -t course_management:${{ env.TAG }} . | |
| - name: Log in to Amazon ECR | |
| run: | | |
| aws ecr get-login-password --region ${{ env.AWS_REGION }} | docker login --username AWS --password-stdin ${{ env.REPO_ROOT }} | |
| env: | |
| AWS_ACCESS_KEY_ID: ${{ secrets.AWS_ACCESS_KEY_ID }} | |
| AWS_SECRET_ACCESS_KEY: ${{ secrets.AWS_SECRET_ACCESS_KEY }} | |
| - name: Push Docker image to Amazon ECR | |
| run: | | |
| docker tag course_management:${{ env.TAG }} ${{ env.REPO_URI }}:${{ env.TAG }} | |
| docker push ${{ env.REPO_URI }}:${{ env.TAG }} | |
| - name: Deploy to Dev Environment | |
| run: bash deploy/deploy_dev.sh ${{ env.TAG }} | |
| env: | |
| AWS_ACCESS_KEY_ID: ${{ secrets.AWS_ACCESS_KEY_ID }} | |
| AWS_SECRET_ACCESS_KEY: ${{ secrets.AWS_SECRET_ACCESS_KEY }} | |
| AWS_DEFAULT_REGION: ${{ env.AWS_REGION }} |