Merge pull request #62 from metaborg/dwf-bounds-on-query-separate-traits #478

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Format	24s
Clippy	1m 4s
Test Beta	2m 14s
Test Nightly	2m 5s
Test Stable	2m 17s
	8m 4s