.github/workflows/zulip_emoji_awaiting_author.yaml

[Merged by Bors] - feat(AlgebraicTopology/SimplexCategory/GeneratorsRelations): the category `SimplexCategoryGenRel` #8087

Sign in to view logs

Summary
Jobs
- set_pr_emoji
Run details
- Usage
- Workflow file

Triggered via pull request February 17, 2025 13:04

leanprover-community-mathlib4-bot

labeled #21741

RC_SimplexCategoryGenRel1

Status Skipped

Total duration 3s

Artifacts –

zulip_emoji_awaiting_author.yaml

on: pull_request