Skip to content
Update stage0

chore: make List.all and List.any short-circuit (#2972) #5

Sign in to view logs

chore: make List.all and List.any short-circuit (#2972)

chore: make List.all and List.any short-circuit (#2972) #5

Triggered via push December 12, 2023 00:45
@github-merge-queuegithub-merge-queue[bot]
pushed c656e71
master
Status Cancelled
Total duration 27s
Artifacts –

update-stage0.yml

on: push
update-stage0
0s
update-stage0
Fit to window
Zoom out
Zoom in

Annotations

1 error
update-stage0
Canceling since a higher priority waiting request for 'stage0' exists