feat: Sato-Tate conjecture over Q #10736

	# Copyright 2025 The Formal Conjectures Authors.

	# Licensed under the Apache License, Version 2.0 (the "License");
	# you may not use this file except in compliance with the License.
	# You may obtain a copy of the License at

	# https://www.apache.org/licenses/LICENSE-2.0

	# Unless required by applicable law or agreed to in writing, software
	# distributed under the License is distributed on an "AS IS" BASIS,
	# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
	# See the License for the specific language governing permissions and
	# limitations under the License.

	name: 'Check Copyright Header'

	on:
	pull_request:
	# Required checks have to report on the merge queue's branch too, or the
	# queue waits for a run that never starts.
	merge_group:

	jobs:
	check-copyright:
	runs-on: ubuntu-latest
	# The check only reads the working tree; it makes no API calls.
	permissions:
	contents: read
	steps:
	- name: Check out repository code
	uses: actions/checkout@d23441a48e516b6c34aea4fa41551a30e30af803 # v6

	- name: Run copyright check script
	uses: actions/github-script@ed597411d8f924073f98dfc5c65a23a2325f34cd # v8
	with:
	script: \|
	const script = require('./scripts/check_copyright_header.js')
	await script({github, context, core, glob})

Navigation Menu