Mathics3 (Type checking)

Add unicode box characters #2122

Sign in to view logs

Triggered via pull request February 20, 2026 14:34

rocky

opened #1700

add-unicode-box-characters

Status Failure

Total duration 54s

Artifacts –

mypy.yml

on: pull_request

Matrix: build

Annotations

1 error

build (3.13)

Process completed with exit code 2.