-
In SDK PR checks, we have the following VMR pipelines:
- sdk-unified-build
- sdk-unified-build-full
- sdk-source-build
Both `sdk-unified-build` and `sdk-soure-build` run as required pipeline checks …
-
-
# Expected Behavior
When running raven on the following file:
```
field myThreadData: Int;
proc readData(x: Ref)
requires readPerms(x)
ensures readPerms(x) {
}
pred readPerms(x: Ref)…
-
-
### The problem
Hi,
Unifi direct - device_tracker causing an issue:
Logger: homeassistant
Zdroj: components/unifi_direct/device_tracker.py:57
První výskyt: 15:50:29 (1 výskyty)
Naposledy logov…
-
## Describe your environment
* Operating system: Debian 12
* Python Version: 2.7
* CCXT version: ccxt 4.4 *
* Freqtrade Version: latest release at post time (`freqtrade -V` or `docker com…
-
-
-
### Priority
Undecided
### OS type
Ubuntu
### Hardware type
Gaudi2
### Installation method
- [X] Pull docker images from hub.docker.com
- [ ] Build docker images from source
#…
-
Hi,
I am wondering how to capture the kernel execution end in the callbacks. There's a callback site for `SANITIZER_CBID_LAUNCH_END`, but this corresponds to the kernel launch end, and the kernel has…