Skip to content

Include no-meaning operators in JSON op extraction #271

Include no-meaning operators in JSON op extraction

Include no-meaning operators in JSON op extraction #271

Triggered via pull request November 20, 2024 00:53
Status Success
Total duration 3m 21s
Artifacts

mathics.yml

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