hange(default): no longer set a default random generator #2

	name: Lint

	concurrency:
	# for PR's cancel the running task, if another commit is pushed
	group: ${{ github.workflow }} ${{ github.ref }}
	cancel-in-progress: ${{ github.event_name == 'pull_request' }}

	on:
	# build on PR and push-to-main. This works for short-lived branches, and saves
	# CPU cycles on duplicated tests.
	# For long-lived branches that diverge, you'll want to run on all pushes, not
	# just on push-to-main.
	pull_request: {}
	push:
	branches:
	- main


	jobs:
	lint:
	runs-on: ubuntu-22.04
	steps:
	- name: Checkout
	uses: actions/checkout@v4

	- uses: leafo/gh-actions-lua@v10
	with:
	luaVersion: "5.4"

	- uses: leafo/gh-actions-luarocks@v4

	- name: dependencies
	run: \|
	make dev

	- name: lint
	run: \|
	make lint

Provide feedback