Skip to content

Replace github.com/pborman/uuid with github.com/google/uuid #423

Replace github.com/pborman/uuid with github.com/google/uuid

Replace github.com/pborman/uuid with github.com/google/uuid #423

name: check-generated-files
on:
pull_request:
branches:
- main
jobs:
check-ui-static-files:
runs-on: ubuntu-22.04
steps:
- name: Checkout
uses: actions/checkout@v4
- name: Generate static files for UI
run: make ui-static
- name: Copy embedded files to Go sources
run: make prebuild
- name: Verify Changed files
uses: tj-actions/verify-changed-files@b742fc9c8c613945ae7ee756f8d2bb3bd2d1f7dd
id: verify-changed-files
- name: Some files have changed
if: steps.verify-changed-files.outputs.files_changed == 'true'
run: |
echo "::error Changed files: ${{ steps.verify-changed-files.outputs.changed_files }} -- Please regenerate with make ui-static / make prebuild"
exit 1