Filter SMT lemmas for predicate checks and get-model #6776
Triggered via pull request
September 25, 2024 14:47
Status
Success
Total duration
26m 55s
Artifacts
–
test.yml
on: pull_request
Formatting and Style
1m 9s
Nix / Integration
19m 26s
Stack / Unit Tests
25m 28s
HLint
1m 38s
Matrix: Nix / Unit Tests
Annotations
2 warnings
Nix / Unit Tests (MacM1, self-macos-12, aarch64-darwin)
You are using macOS 12.
We (and Apple) do not provide support for this old version.
It is expected behaviour that some formulae will fail to build in this old version.
It is expected behaviour that Homebrew will be buggy and slow.
Do not create any issues about this on Homebrew's GitHub repositories.
Do not create any issues even if you think this message is unrelated.
Any opened issues will be immediately closed without response.
Do not ask for help from Homebrew or its maintainers on social media.
You may ask for help in Homebrew's discussions but are unlikely to receive a response.
Try to figure out the problem yourself and submit a fix as a pull request.
We will review it but may or may not accept it.
|
Nix / Integration
No push credentials found. Ignoring the 'useDaemon' option.
|