Skip to content

simplify Mark.update() and improve incoming mark update/deletion #82

simplify Mark.update() and improve incoming mark update/deletion

simplify Mark.update() and improve incoming mark update/deletion #82

Triggered via pull request November 20, 2023 17:14
Status Success
Total duration 1m 6s
Artifacts

check.yml

on: pull_request
Matrix: lint
Matrix: type-checker
Fit to window
Zoom out
Zoom in