.github/workflows/zulip_emoji_awaiting_author.yaml

chore: redefine `Nat.div2` `Nat.bodd` #212

Sign in to view logs

Summary
Jobs
- set_pr_emoji
Run details
- Usage
- Workflow file

Triggered via pull request December 1, 2024 19:33

mathlib4-dependent-issues-bot

labeled #13649

FR_binrec

Status Skipped

Total duration 2s

Artifacts –

zulip_emoji_awaiting_author.yaml

on: pull_request