Skip to content

improvement: Catch an error if thrown during tokenization #58

improvement: Catch an error if thrown during tokenization

improvement: Catch an error if thrown during tokenization #58

Triggered via push June 29, 2023 15:37
Status Cancelled
Total duration 38s
Artifacts

sourcegraph.yml

on: push
Upload SCIP
2s
Upload SCIP
Fit to window
Zoom out
Zoom in

Annotations

2 errors
Upload SCIP
The run was canceled by @kasiaMarek.
Upload SCIP
A task was canceled.