Skip to content
build

Rewrite Interval[E]{a, b} -> Range(a, b) #22

Sign in to view logs

Rewrite Interval[E]{a, b} -> Range(a, b)

Rewrite Interval[E]{a, b} -> Range(a, b) #22

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Test with coverage
20s
20s