Skip to content

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

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

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

Triggered via push January 21, 2024 13:54
Status Success
Total duration 28s
Artifacts

build.yml

on: push
Test with coverage
20s
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