Skip to content
Back to pull request #717

[coq.TC.get-inst-prio] new get-inst-prio (#716) #1307

Sign in to view logs

[coq.TC.get-inst-prio] new get-inst-prio (#716)

[coq.TC.get-inst-prio] new get-inst-prio (#716) #1307

Triggered via pull request November 26, 2024 08:35
@FissoreDFissoreD
synchronize #717
FissoreD:new-inst-prio
Status Success
Total duration 11m 39s
Artifacts 1

doc.yml

on: pull_request
Build doc
11m 30s
Build doc
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
artifact
224 KB