Skip to content

For discussion: improve isConsequences #637

For discussion: improve isConsequences

For discussion: improve isConsequences #637

Triggered via pull request August 30, 2024 16:02
Status Success
Total duration 11m 29s
Artifacts

test.yml

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

Annotations

5 warnings
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