Skip to content
Literate Check

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

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 #88

Triggered via pull request February 21, 2025 01:25
@ogautheogauthe
opened #33
ogauthe:BlockPerm{2}
Status Success
Total duration 1m 26s
Artifacts –

LiterateCheck.yml

on: pull_request
Literate Check  /  Literate Check
1m 18s
Literate Check / Literate Check
Fit to window
Zoom out
Zoom in