Skip to content
DOC

use coq.coercion.class as the type of coercion classes #1888

Sign in to view logs

use coq.coercion.class as the type of coercion classes

use coq.coercion.class as the type of coercion classes #1888

Triggered via pull request October 17, 2025 12:58
@garesgares
synchronize #909
coercion-class
Status Success
Total duration 7m 33s
Artifacts 1

doc.yml

on: pull_request
Build doc
7m 24s
Build doc
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
artifact
234 KB
sha256:52e8bee1ae2142d9d5856bab0c597d25d16c769403845fe4161792103d044087