Skip to content
ci

use where for inductive types #180

Sign in to view logs

use where for inductive types

use where for inductive types #180

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build
1m 41s
1m 41s