Skip to content
CI tests

For discussion: improve isConsequences #637

Sign in to view logs

For discussion: improve isConsequences

For discussion: improve isConsequences #637

Triggered via pull request August 30, 2024 16:02
@BenKaufmannBenKaufmann
synchronize #519
consequences
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