Back to pull request #2783

fix: issue 2042 #409

Sign in to view logs

Summary
Jobs
- Backport
Run details
- Usage
- Workflow file

Triggered via pull request November 9, 2023 07:21

leanprover-community-mathlib4-bot

labeled #2783

Status Skipped

Total duration 2s

Artifacts –

backport.yml

on: pull_request_target