Run script to update post release version (#3931) #9761

	# This is a basic workflow to help you get started with Actions
	name: style

	# Controls when the action will run. Triggers the workflow on push or pull request
	# events but only for the master branch
	on:
	push:
	branches:
	- main
	tags:
	- v*
	pull_request:

	# A workflow run is made up of one or more jobs that can run sequentially or in parallel
	jobs:
	cpplint:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v2

	# TODO: tweak HybridSE source & rm '-build/header_guard' filter
	- uses: reviewdog/action-cpplint@master
	with:
	github_token: ${{ secrets.github_token }}
	level: info
	reporter: github-pr-review
	flags: --linelength=120

	detect-secrets:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v3

	- name: detect-secrets
	uses: reviewdog/action-detect-secrets@master
	with:
	github_token: ${{ secrets.github_token }}
	reporter: github-pr-review # Change reporter.

	shellcheck:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v3
	- uses: reviewdog/action-shellcheck@v1
	with:
	github_token: ${{ secrets.github_token }}
	reporter: github-pr-review
	filter_mode: diff_context
	fail_on_error: true
	exclude: "./.git/*" # Optional.

	pylint:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v3

	- name: Set up Python 3.8
	uses: actions/setup-python@v4
	with:
	python-version: 3.8

	- name: Install dependencies
	run: \|
	python -m pip install --upgrade pip
	pip install pylint

	- name: Analysing the code with pylint
	# FIXME: fix the pylint errors in project and rm continue-on-error flag
	continue-on-error: true
	run: \|
	make pylint

Provide feedback