check-versioning.yml

name: Check versioning

on:
  push:
    branches: [ main ]
    paths-ignore:
      - '.gitignore'
      - 'LICENSE'
      - '**.md'
      - Notice.txt
      - '.github/workflows/check-versioning.yml'
      - '.github/workflows/check-rust.yml'
      - '.github/workflows/run-tarpaulin.yml'
      - '.github/workflows/run-test-cases.yml'
      - '.github/ISSUE_TEMPLATE/**'
      - '.github/CODEOWNERS'
      - '.vscode/**'
      - docs/**
      - scripts/**
      - tests/**
  pull_request:
    branches: [ main ]
    paths-ignore:
      - '.gitignore'
      - 'LICENSE'
      - '**.md'
      - Notice.txt
      - '.github/workflows/check-versioning.yml'
      - '.github/workflows/check-rust.yml'
      - '.github/workflows/run-tarpaulin.yml'
      - '.github/workflows/run-test-cases.yml'
      - '.github/ISSUE_TEMPLATE/**'
      - '.github/CODEOWNERS'
      - '.vscode/**'
      - docs/**
      - scripts/**
      - tests/**
  release:
    types:
      - published

env:
  CARGO_TERM_COLOR: always

jobs:
  build:
    runs-on: ubuntu-latest
    timeout-minutes: 5

    steps:
    - name: Checkout the head commit of the branch
      uses: actions/checkout@v2
      with:
        persist-credentials: false
    
    # Only run version check for PRs.  If PR title does NOT contain "[SAME VERSION]", then ensure that
    # version.txt is different from what is in main.
    - if: startsWith(github.event_name, 'pull_request') && contains(github.event.pull_request.title, '[SAME VERSION]') == false
      name: Run version check
      run: ./version.sh -c
    # If PR title does contain "[SAME VERSION]", then do not check that version.txt is different from
    # what is in main.
    - if: startsWith(github.event_name, 'pull_request') && contains(github.event.pull_request.title, '[SAME VERSION]') == true
      name: Run version check
      run: ./version.sh -c -s