changelog

Fix a soundness bug with `PyClassInitializer` #5278

Sign in to view logs

Triggered via pull request August 19, 2024 23:24

ChayimFriedman2

synchronize #4454

ChayimFriedman2:fix-unsound-pyclassinitializer

Status Success

Total duration 18s

Artifacts –

changelog.yml

on: pull_request

Check changelog entry