Skip to content

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

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

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

Triggered via push January 21, 2024 10:28
Status Success
Total duration 20s
Artifacts

build.yml

on: push
Test with coverage
12s
Test with coverage
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Test with coverage
Restore cache failed: Dependencies file is not found in /home/runner/work/intervals/intervals. Supported file pattern: go.sum