Skip to content

Add list of box operators and operator-to-string #375

Add list of box operators and operator-to-string

Add list of box operators and operator-to-string #375

build (windows, 3.11)

succeeded Dec 11, 2024 in 1m 45s
Set up job
1s
Run actions/checkout@v4
6s
Set up Python 3.11
0s
Install dependencies
51s
Install Mathics Scanner
15s
Test Mathics3
28s
Post Set up Python 3.11
0s
Post Run actions/checkout@v4
2s
Complete job
0s