Skip to content
.github/workflows/generate_docs.yml

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

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 #1300

Triggered via pull request March 2, 2026 01:23
@affeldt-aistaffeldt-aist
synchronize #1864
t6s:gen_subUitv1
Status Success
Total duration 43m 59s
Artifacts 1

generate_docs.yml

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

Artifacts

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