Skip to content
Mathics3 (ubuntu)

Get named-character JSON from scanner rather than create a local copy. #6597

Sign in to view logs

Get named-character JSON from scanner rather than create a local copy.

Get named-character JSON from scanner rather than create a local copy. #6597

Triggered via pull request March 3, 2026 21:54
@mmaterammatera
synchronize #1707
use-scanner-JSON-tables
Status Success
Total duration 10m 41s
Artifacts –

ubuntu.yml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in