Withdraw PR

chore: get rid of the `ForMathlib` folder #213

Sign in to view logs

Summary
Jobs
- withdraw_pr
Run details
- Usage
- Workflow file

Triggered via issue December 11, 2024 00:10

kbuzzard

commented on #281 c5f03bc

Status Skipped

Total duration 3s

Artifacts –

04-withdraw-pr.yml

on: issue_comment