Skip to content

Add per-task report upload metrics #2452

Add per-task report upload metrics

Add per-task report upload metrics #2452

Workflow file for this run

name: ci-migrations
on:
push:
branches: [ main, release/** ]
pull_request:
workflow_dispatch:
jobs:
janus_migrations:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
with:
fetch-depth: 0
- name: Check that existing migrations have not changed
if: |
github.event_name == 'pull_request' &&
!contains(github.event.pull_request.labels.*.name, 'allow-changed-migrations')
env:
BASE_SHA: "${{ github.event.pull_request.base.sha }}"
run: |
# --diff-filter=a includes all differences except added files.
if ! git diff --exit-code --diff-filter=a "$BASE_SHA" ./db; then
echo "fatal: migrations cannot be modified or removed, only added"
exit 1
fi
- name: Check validity of migrations
uses: "./.github/actions/validate-migrations"