Skip to content
.github/workflows/generate_docs.yml

rename and boolify some predicates for open intervals #1172

Sign in to view logs

rename and boolify some predicates for open intervals

rename and boolify some predicates for open intervals #1172

Triggered via pull request January 17, 2026 17:22
@t6st6s
synchronize #1825
t6s:intertop
Status Success
Total duration 42m 11s
Artifacts 1

generate_docs.yml

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

Artifacts

Produced during runtime
Name Size Digest
mathcomp-analysis_intertop
6.57 MB
sha256:804ba2fb39435d7dc5d7aa98af9c2dac5a5081cdc59d9bf1f13375b29189437b