Skip to content
check

[temp.res.general] Fix nesting for \terminal{\opt{...}} (#7599) #8371

Sign in to view logs

[temp.res.general] Fix nesting for \terminal{\opt{...}} (#7599)

[temp.res.general] Fix nesting for \terminal{\opt{...}} (#7599) #8371

Triggered via push February 1, 2025 08:56
@jensmaurerjensmaurer
pushed b2b266e
main
Status Success
Total duration 11m 5s
Artifacts 1

check.yml

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

Artifacts

Produced during runtime
Name Size Digest
draft-snapshot Expired
8.3 MB
sha256:f98309a3a701c3124f86b89f055634ee0dc33ebd55d7eb4ae3c782172038ae9e