Skip to content
Release Docs

fix: BoundVisitor should accept Bound instead of BoundTerm (#375) #67

Sign in to view logs

fix: BoundVisitor should accept Bound instead of BoundTerm (#375)

fix: BoundVisitor should accept Bound instead of BoundTerm (#375) #67

Triggered via push December 1, 2025 04:00
@wgtmacwgtmac
pushed 19b086e
main
Status Success
Total duration 46s
Artifacts –

docs.yml

on: push
docs
43s
docs
Fit to window
Zoom out
Zoom in