Repository navigation

pre-commit (PR only on changed files)

Separate recording logic from GUI #522

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
detect_changes	6s
precommit	26s
	32s