Skip to content

Include no-meaning operators in JSON op extraction #267

Include no-meaning operators in JSON op extraction

Include no-meaning operators in JSON op extraction #267

Triggered via pull request November 19, 2024 02:51
Status Success
Total duration 3m 7s
Artifacts

mathics.yml

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