Skip to content
.github/workflows/generate_docs.yml

rename and boolify some predicates for open intervals #1165

Sign in to view logs

rename and boolify some predicates for open intervals

rename and boolify some predicates for open intervals #1165

Triggered via pull request January 16, 2026 07:03
@t6st6s
opened #1825
t6s:intertop
Status Success
Total duration 41m 45s
Artifacts 1

generate_docs.yml

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

Artifacts

Produced during runtime
Name Size Digest
mathcomp-analysis_intertop
6.57 MB
sha256:68fa8da98f3201e6e8860dc38ddd32f2181b9ea3cf48fba5ec7cac34385b7d31