Skip to content
TagBot

Make better use of BlockedTuple in contract logic to track codomain and domain #55

Sign in to view logs

Make better use of BlockedTuple in contract logic to track codomain and domain

Make better use of BlockedTuple in contract logic to track codomain and domain #55

Triggered via issue February 21, 2025 21:57
@ogautheogauthe
commented on #33 9407722
Status Skipped
Total duration 2s
Artifacts –

TagBot.yml

on: issue_comment
TagBot
0s
TagBot
Fit to window
Zoom out
Zoom in