Lint and build

Remove the concept of a dev branch #821

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
ruff	8s
Pyright (windows-latest, 3.11)	1m 27s
Build (windows-latest, 3.12)	2m 56s
Pyright (windows-latest, 3.12)	1m 46s
Build (windows-latest, 3.13)	2m 58s
Pyright (windows-latest, 3.13)	1m 51s
Build (ubuntu-22.04, 3.12)	2m 21s
Pyright (ubuntu-22.04, 3.11)	38s
Build (ubuntu-22.04, 3.13)	2m 28s
Pyright (ubuntu-22.04, 3.12)	35s
Pyright (ubuntu-22.04, 3.13)	37s
Build (ubuntu-22.04, 3.11)	2m 30s
	20m 15s