.github/workflows/zulip_emoji_awaiting_author.yaml

[Merged by Bors] - refactor: make `PadicInt.valuation` `ℕ`-valued #1735

Sign in to view logs

Summary
Jobs
- set_pr_emoji
Run details
- Usage
- Workflow file

Triggered via pull request December 20, 2024 10:22

YaelDillies

unlabeled #19858

padic_int_nat_valuation

Status Skipped

Total duration 10s

Artifacts –

zulip_emoji_awaiting_author.yaml

on: pull_request