Skip to content
code check

Fix a few edge case for mark.update() #97

Sign in to view logs

Fix a few edge case for mark.update()

Fix a few edge case for mark.update() #97

Triggered via pull request November 23, 2023 03:49
@alphatownsmanalphatownsman
opened #394
alphatownsman:fix-mark-edge-case
Status Success
Total duration 51s
Artifacts –

check.yml

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