Skip to content

change \exposid to \exposconcept for the concept valid-specializations #8291

change \exposid to \exposconcept for the concept valid-specializations

change \exposid to \exposconcept for the concept valid-specializations #8291

Triggered via pull request January 10, 2025 22:10
Status Success
Total duration 12m 26s
Artifacts 1

check.yml

on: pull_request
Matrix: run-checks
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
draft-snapshot Expired
8.31 MB
sha256:729677d3b550e8b06f728d9022455bebda6b8de1b8ba71f595f6e7ed962435ba