Skip to content
Python package

fixed unsoundness in obtain by traversing for fresh_vars #262

Sign in to view logs

fixed unsoundness in obtain by traversing for fresh_vars

fixed unsoundness in obtain by traversing for fresh_vars #262

Triggered via push October 9, 2025 03:18
@philzook58philzook58
pushed 2ef2ab3
main
Status Success
Total duration 8m 37s
Artifacts –

python-package.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in