Skip to content
Back to pull request #1039

chore: cleanup proof of satisfiesM_foldlM #9651

Sign in to view logs

chore: cleanup proof of satisfiesM_foldlM

chore: cleanup proof of satisfiesM_foldlM #9651

Triggered via pull request November 13, 2024 00:02
@kim-emkim-em
opened #1039
satisfiesM_foldlM
Status Success
Total duration 51s
Artifacts –

build.yml

on: pull_request
Build
41s
Build
Fit to window
Zoom out
Zoom in