Rust

perf: visit less clauses during propagation #241

Sign in to view logs

Triggered via pull request September 30, 2024 08:18

baszalmstra

synchronize #66

baszalmstra:performance/only_add_forbidden_for_visisted_solvables

Status Cancelled

Total duration 58s

Artifacts –

rust-compile.yml

on: pull_request

Format and Lint

Check intra-doc links

Annotations

1 error

Canceling since a higher priority waiting request for 'Rust-refs/pull/66/merge' exists