Skip to content

Fix the entry for [re.def] in xrefdelta.tex #9872

Fix the entry for [re.def] in xrefdelta.tex

Fix the entry for [re.def] in xrefdelta.tex #9872

Triggered via pull request July 22, 2025 03:10
Status Success
Total duration 7m 38s
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.98 MB
sha256:9e1c3698a512f9152a9a6cd7eb286b4df7d35c2a1be285c8e64f22f90c6323a9