Skip to content

Added missing `no-evaluators` attribute

0c830d6
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

Avoid llvm-kompile when running proofs - rebooted #1079

Added missing `no-evaluators` attribute
0c830d6
Select commit
Loading
Failed to load commit list.

Annotations

1 warning
Code Quality Checks
succeeded Apr 27, 2026 in 54s