Test

Hotfix check/adjust subsorting for substitutions based on `==K` terms #6901

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Formatting and Style	38s
Nix / Integration	1s
HLint	1s
Stack / Unit Tests	1s
Nix / Unit Tests	1s
	42s