Skip to content

For discussion: improve isConsequences #636

For discussion: improve isConsequences

For discussion: improve isConsequences #636

Triggered via pull request August 30, 2024 13:11
Status Failure
Total duration 12m 2s
Artifacts

test.yml

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

Annotations

3 errors and 5 warnings
clingo 3.11 macos-latest
Process completed with exit code 1.
clingo 3.11 ubuntu-latest
Process completed with exit code 1.
clingo 3.11 windows-latest
Process completed with exit code 1.
clingo 3.11 windows-latest
WARNING conda.activate:native_path_to_unix(1034): cygpath is not available, fallback to manual path conversion
clingo 3.11 windows-latest
WARNING conda.activate:native_path_to_unix(1034): cygpath is not available, fallback to manual path conversion
clingo 3.11 windows-latest
WARNING conda.activate:native_path_to_unix(1034): cygpath is not available, fallback to manual path conversion
clingo 3.11 windows-latest
WARNING conda.activate:native_path_to_unix(1034): cygpath is not available, fallback to manual path conversion
clingo 3.11 windows-latest
WARNING conda.activate:native_path_to_unix(1034): cygpath is not available, fallback to manual path conversion