Merge pull request #217 from InvArch/gabriel-new_derivation #482

Sign in to view logs

Summary
Jobs
- build
- test
- clippy
- fmt
Run details
- Usage
- Workflow file

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
clippy	2m 14s
test	2m 56s
build	2m 35s
fmt	31s
	8m 16s