mirror of
https://github.com/chatmail/core.git
synced 2026-04-17 13:36:30 +03:00
602f0a088e
Workflow checks that PRs are made only when current version ends with -dev If this fails, a commit bumping the version to -dev should be pushed to main branch.
24 lines
510 B
YAML
24 lines
510 B
YAML
# Check that PRs are made against the -dev version.
|
|
#
|
|
# If this fails, push commit to update the version to -dev to main.
|
|
|
|
name: Check for -dev version
|
|
|
|
on:
|
|
pull_request:
|
|
|
|
permissions: {}
|
|
|
|
jobs:
|
|
check_dev_version:
|
|
name: Check that current version ends with -dev
|
|
runs-on: ubuntu-latest
|
|
steps:
|
|
- uses: actions/checkout@v6
|
|
with:
|
|
show-progress: false
|
|
persist-credentials: false
|
|
|
|
- name: Run version-checking script
|
|
run: scripts/check-dev-version.py
|