Skip to content

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

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

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

Triggered via pull request November 20, 2023 07:00
Status Success
Total duration 1m 1s
Artifacts

check.yml

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