Skip to content
Assemble the package distribution

[groupoids] Update to 1.77 (#1149) #813

Sign in to view logs

[groupoids] Update to 1.77 (#1149)

[groupoids] Update to 1.77 (#1149) #813

Triggered via push July 10, 2025 09:01
@fingolfinfingolfin
pushed ef95235
main
Status Cancelled
Total duration 21s
Artifacts –

assemble-distro.yml

on: push
Assemble the package distribution
17s
Assemble the package distribution
Fit to window
Zoom out
Zoom in

Annotations

3 errors
Assemble the package distribution
The operation was canceled.
Assemble the package distribution
Canceling since a higher priority waiting request for Assemble the package distribution-refs/heads/main exists
Assemble the package distribution
Canceling since a higher priority waiting request for Assemble the package distribution-refs/heads/main exists