Skip to content

Rename tooltip to clipboard #314

Rename tooltip to clipboard

Rename tooltip to clipboard #314

Triggered via pull request July 12, 2024 12:59
@manicsmanics
opened #121
Status Success
Total duration 11s
Artifacts

binder-badge.yaml

on: pull_request_target
Fit to window
Zoom out
Zoom in