Bump actions/github-script from 6 to 7 #102

	name: CI
	on:
	push:
	# Filter on branch so we don't double-run this workflow on a PR's push.
	tags:
	- v*
	- version*
	branches:
	- main
	pull_request:

	permissions:
	# none-all, which doesn't exist, but
	# https://docs.github.com/en/actions/reference/authentication-in-a-workflow#using-the-github_token-in-a-workflow
	# implies that the token still gets created. Elsewhere we learn that any
	# permission not mentioned here gets turned to `none`.
	actions: none

	jobs:
	test:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	- name: install dependencies
	run: sudo apt-get install -y time
	- name: build
	run: make all
	- name: test
	run: make check
	- uses: codecov/codecov-action@v3
	if: always()
	with:
	directory: .

	fmt-lint:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	- uses: jidicula/[email protected]
	with:
	fallback-style: "Google"

Provide feedback