Skip to content

Include no-meaning operators in JSON op extraction #268

Include no-meaning operators in JSON op extraction

Include no-meaning operators in JSON op extraction #268

Triggered via pull request November 19, 2024 10:49
Status Success
Total duration 3m 18s
Artifacts

mathics.yml

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