feat: support encrypted mul div #2228

	name: Check GitHub Actions
	on:
	pull_request:

	env:
	ACTION_RUN_URL: ${{ github.server_url }}/${{ github.repository }}/actions/runs/${{ github.run_id }}

	concurrency:
	# Add event_name in the group as workflow dispatch means we could run this in addition to other
	# workflows already running on a PR or a merge e.g.
	group: "${{ github.ref }}-${{ github.event_name }}-${{ github.workflow }}"
	cancel-in-progress: true

	jobs:

	check-github-actions:
	name: Check GitHub Actions
	timeout-minutes: 5
	runs-on: ubuntu-20.04
	defaults:
	run:
	shell: bash
	steps:
	- name: Checkout Code
	uses: actions/checkout@9bb56186c3b09b4f86b1c65136769dd318469633

	- name: Install dependencies
	id: install-deps
	run: \|
	./script/make_utils/setup_os_deps.sh --only-linux-actionlint

	- name: Check GitHub actions
	run: \|
	./script/make_utils/actionlint.sh

	- name: Slack Notification
	if: ${{ always() && !success() }}
	continue-on-error: true
	uses: rtCamp/action-slack-notify@4e5fb42d249be6a45a298f3c9543b111b02f7907
	env:
	SLACK_CHANNEL: ${{ secrets.SLACK_CHANNEL }}
	SLACK_ICON: https://pbs.twimg.com/profile_images/1274014582265298945/OjBKP9kn_400x400.png
	SLACK_COLOR: ${{ job.status }}
	SLACK_MESSAGE: "Full run finished with status ${{ job.status }} \
	(${{ env.ACTION_RUN_URL }})"
	SLACK_USERNAME: ${{ secrets.BOT_USERNAME }}
	SLACK_WEBHOOK: ${{ secrets.SLACK_WEBHOOK }}

Provide feedback