Skip to content

[functional.syn], [func.bind.place] Use \vdots for vertical ellipsis; add missing \placeholder #8667

[functional.syn], [func.bind.place] Use \vdots for vertical ellipsis; add missing \placeholder

[functional.syn], [func.bind.place] Use \vdots for vertical ellipsis; add missing \placeholder #8667

Triggered via pull request March 4, 2025 00:20
Status Success
Total duration 12m 3s
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.32 MB
sha256:d487d883e9074bdfca956bdc485463e6f45f2ad98e22902662d5bac2d010ac24