Skip to content

small fix in backward rule for leftorth, rightorth #196

small fix in backward rule for leftorth, rightorth

small fix in backward rule for leftorth, rightorth #196

Re-run triggered May 12, 2024 20:48
Status Success
Total duration 1m 12s
Artifacts

FormatCheck.yml

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