This repository was archived by the owner on May 7, 2026. It is now read-only.

CI

Change GITHUB_BRANCH from 'devel' to 'main' #6

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
shell-check	12s
test (3.12)	26s
test (3.9)	20s
integration-test	7s
test (3.11)	15s
test (3.10)	21s
	1m 41s