Skip to content
CI

small fix in backward rule for leftorth, rightorth (#123) #200

Sign in to view logs

small fix in backward rule for leftorth, rightorth (#123)

small fix in backward rule for leftorth, rightorth (#123) #200

Triggered via push May 12, 2024 23:17
@JuthoJutho
pushed 7ee775b
master
Status Cancelled
Total duration 1m 18s
Artifacts –

CI.yml

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

Annotations

6 errors
Julia 1.6 - windows-latest - x64
Canceling since a higher priority waiting request for 'CI-refs/heads/master' exists
Julia 1.6 - macOS-latest - x64
Canceling since a higher priority waiting request for 'CI-refs/heads/master' exists
Julia 1 - ubuntu-latest - x64
Canceling since a higher priority waiting request for 'CI-refs/heads/master' exists
Julia 1 - macOS-latest - x64
Canceling since a higher priority waiting request for 'CI-refs/heads/master' exists
Julia 1.6 - ubuntu-latest - x64
Canceling since a higher priority waiting request for 'CI-refs/heads/master' exists
Julia 1 - windows-latest - x64
Canceling since a higher priority waiting request for 'CI-refs/heads/master' exists