Skip to content

Merge pull request #519 from potassco/consequences #639

Merge pull request #519 from potassco/consequences

Merge pull request #519 from potassco/consequences #639

Triggered via push September 7, 2024 07:14
Status Success
Total duration 11m 17s
Artifacts

test.yml

on: push
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