Skip to content
Back to pull request #123

small fix in backward rule for leftorth, rightorth #199

Sign in to view logs

small fix in backward rule for leftorth, rightorth

small fix in backward rule for leftorth, rightorth #199

Re-run triggered May 12, 2024 20:48
@lkdvoslkdvos
#123
tangwei94:master
Status Success
Total duration 2h 14m 48s
Artifacts –

CI.yml

on: pull_request
Matrix: test
Matrix: test-nightly
Fit to window
Zoom out
Zoom in