ci

chore: fix simp direction for `monadLift_bind` #11069

Sign in to view logs

Summary
Jobs
- Build
Run details
- Usage
- Workflow file

Triggered via pull request February 10, 2025 13:51

quangvdao

opened #1129

quangvdao:fix-monad-lift

Status Success

Total duration 53s

Artifacts –

build.yml

on: pull_request