CI

switched to elided lifetimes where we could #34

# to view logs

Summary
Jobs
- Clippy
- Format
Run details
- Usage
- Workflow file

Run time

Learn about OS # on GitHub Actions

Job	Run time
Format	3s
Clippy	1m 10s
	1m 13s