Skip to content
DOC

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

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

Triggered via pull request October 17, 2025 13:05
@garesgares
synchronize #909
coercion-class
Status Success
Total duration 8m 54s
Artifacts 1

doc.yml

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

Artifacts

Produced during runtime
Name Size Digest
artifact
234 KB
sha256:d519ced3177c3dd2de3057d153574189639a9c8a1f8f56924c4c9e37ed5c519d