[crypto] Consolidate P-384 OTBN binaries. #5291

	# Copyright lowRISC contributors (OpenTitan project).
	# Licensed under the Apache License, Version 2.0, see LICENSE for details.
	# SPDX-License-Identifier: Apache-2.0

	# GitHub Action to run Verible linting on pull requests and add review comments.
	#
	# See https://github.com/chipsalliance/verible-linter-action.

	name: pr-lint

	on:
	pull_request:

	jobs:
	verible-lint:
	runs-on: ubuntu-latest
	env:
	verible_config: hw/lint/tools/veriblelint/lowrisc-styleguide.rules.verible_lint
	steps:
	- uses: actions/checkout@v4
	- name: Prepare Verible config
	run: \|
	echo "Concatenating Verible waivers"
	find . -type f -name '*.vbl' -exec cat {} \; >> verible_waiver

	echo "::group::Verible config"
	cat "$verible_config"
	echo "::endgroup::"

	echo "::group::Verible waiver"
	cat "verible_waiver"
	echo "::endgroup::"
	- name: Run Verible linter action
	uses: chipsalliance/[email protected]
	with:
	github_token: ${{ secrets.GITHUB_TOKEN }}
	verible_version: "v0.0-3430-g060bde0f"
	reviewdog_reporter: 'github-pr-check'
	suggest_fixes: 'false'
	config_file: ${{ env.verible_config }}
	extra_args: "--waiver_files=verible_waiver"

Provide feedback