Skip to content
Build book

Fill in SetTheory.Set.iProd_equiv_pi #593

Sign in to view logs

Fill in SetTheory.Set.iProd_equiv_pi

Fill in SetTheory.Set.iProd_equiv_pi #593

Triggered via pull request August 7, 2025 03:02
@gaearongaearon
opened #276
gaearon:35pi
Status Cancelled
Total duration 1m 31s
Artifacts –

build_book.yml

on: pull_request
build
1m 24s
build
deploy
0s
deploy
Fit to window
Zoom out
Zoom in

Annotations

3 errors
build
The operation was canceled.
build
Canceling since a higher priority waiting request for refs/pull/276/merge exists
Build book
Canceling since a higher priority waiting request for refs/pull/276/merge exists