Skip to content

Migrate /docker to /build-scripts and delete unused files (#684) #14

Migrate /docker to /build-scripts and delete unused files (#684)

Migrate /docker to /build-scripts and delete unused files (#684) #14

Workflow file for this run

name: Version check
on:
push:
paths:
- "VERSION"
jobs:
check-version:
runs-on: ubuntu-24.04
steps:
- uses: actions/checkout@v4
- name: Check version
run: bash build-scripts/check-version.sh