build

Move refinement parameters out of `rty::Generics` #201

Sign in to view logs

Summary
Jobs
- tests
- lint
- clippy
- clippy
Run details
- Usage
- Workflow file

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
clippy	47s
tests	1m 43s
lint	45s
	3m 15s