Skip to content
CI

Degree-2 folding that avoids using log (#657) #2046

Sign in to view logs

Degree-2 folding that avoids using log (#657)

Degree-2 folding that avoids using log (#657) #2046

Triggered via push July 21, 2026 19:36
@alexanderlhicksalexanderlhicks
pushed 7bbe2e2
main
Status Cancelled
Total duration 9m 55s
Artifacts 1

ci.yml

on: push
build
9m 30s
build
Fit to window
Zoom out
Zoom in

Annotations

3 errors
build
Canceling since a higher priority waiting request for CI-refs/heads/main exists
build
The operation was canceled.
CI
Canceling since a higher priority waiting request for CI-refs/heads/main exists

Artifacts

Produced during runtime
Name Size Digest
arklib-build-timing-data
4.34 KB
sha256:82f07e6ea4b9062fd025d110357c480f953702c4e615dae4d32c944abdbc055b