Skip to content
.github/workflows/generate_docs.yml

add variant of Fubini lemmas and rename to clarify #655

Sign in to view logs

add variant of Fubini lemmas and rename to clarify

add variant of Fubini lemmas and rename to clarify #655

Triggered via pull request July 1, 2025 08:41
@proux01proux01
synchronize #1651
affeldt-aist:fubini_20250625
Status Cancelled
Total duration 15s
Artifacts –

generate_docs.yml

on: pull_request
generate-artifacts
11s
generate-artifacts
Fit to window
Zoom out
Zoom in

Annotations

3 errors
.github/workflows/generate_docs.yml
The run was canceled by @proux01.
generate-artifacts
The operation was canceled.
generate-artifacts
The run was canceled by @proux01.