move-decls (label)

[Merged by Bors] - style: remove mathport output #2522

Sign in to view logs

Summary
Jobs
- add-comment
Run details
- Usage
- Workflow file

Triggered via pull request June 4, 2024 10:52

Komyyy

labeled #13198

Komyyy/Mathport

Status Skipped

Total duration 1s

Artifacts –

move_decl.yaml

on: pull_request