Skip to content
Mathics (Windows)

Reassign Unicode for \[Rule] and \[DirectedEdge] #561

Sign in to view logs

Reassign Unicode for \[Rule] and \[DirectedEdge]

Reassign Unicode for \[Rule] and \[DirectedEdge] #561

Triggered via pull request January 30, 2026 22:17
@rockyrocky
synchronize #147
reassign-Rule-unicode
Status Success
Total duration 1m 47s
Artifacts –

windows.yml

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