Skip to content
.github/workflows/generate_docs.yml

generalize setUitv1, setU1itv, setDitv1{l,r}, and add similar lemmas #1303

Sign in to view logs

generalize setUitv1, setU1itv, setDitv1{l,r}, and add similar lemmas

generalize setUitv1, setU1itv, setDitv1{l,r}, and add similar lemmas #1303

Triggered via pull request March 2, 2026 06:35
@t6st6s
synchronize #1864
t6s:gen_subUitv1
Status Success
Total duration 44m 49s
Artifacts 1

generate_docs.yml

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

Artifacts

Produced during runtime
Name Size Digest
mathcomp-analysis_gen_subUitv1
6.79 MB
sha256:060cdb9b265193104052547f177a0d65a28f63b3502d7adce8e324f91133519e