Skip to content

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

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

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

Triggered via pull request November 21, 2023 00:32
Status Success
Total duration 1m 10s
Artifacts

check.yml

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